proposed @noreturn attribute
Yuxuan Shui via Digitalmars-d
digitalmars-d at puremagic.com
Thu Jul 20 12:09:36 PDT 2017
On Wednesday, 19 July 2017 at 10:35:37 UTC, Stefan Koch wrote:
> On Wednesday, 19 July 2017 at 10:24:35 UTC, Marc Schütz wrote:
>> On Sunday, 16 July 2017 at 20:44:13 UTC, Andrei Alexandrescu
>> wrote:
>>> Perhaps we go the inverse route and define the bottom type as
>>> typeof(*null). Would that simplify matters? There is some
>>> good consistency about it:
>>>
>>> null: a pointer to anything. But can't be dereferenced.
>>> *null: well, therefore... anything. But can't be created.
>>
>> That sounds more like a top type, though, because as you said
>> it can be "anything". A bottom type can not be anything, but
>> only nothing.
>
> It's the bottom.
> Bottom is to Types, as Object is to Classes.
Actually, Object should be considered the Top type. All Classes
are sub-classes of Object.
More information about the Digitalmars-d
mailing list