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