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

[Andrei Alexandrescu]

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