My thoughts & experiences with D so far, as a novice D coder

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Wed Mar 27 11:20:49 PDT 2013


On 3/27/13 1:23 PM, Timon Gehr wrote:
>> - Function that never return are inferred void. I would have preferred
>> typeof(null) as void lead to many static and repetitive code for nothing
>> when doing metaprograming.
>
> I strongly disagree.

Ideally such function should return a "none" type, the bottom of the 
hierarchy lattice. We don't have such, so returning typeof(null) (which 
we do have) is the next best choice as it's just above bottom.

Andrei


More information about the Digitalmars-d mailing list