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

deadalnix deadalnix at gmail.com
Wed Mar 27 20:18:36 PDT 2013


On Wednesday, 27 March 2013 at 18:20:49 UTC, Andrei Alexandrescu 
wrote:
> 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.
>

I thought that typeof(null) was that bottom type. What is the 
difference ?

Anyway, void isn't the right choice here and is a pain to work 
with.


More information about the Digitalmars-d mailing list