proposed @noreturn attribute
Andrei Alexandrescu via Digitalmars-d
digitalmars-d at puremagic.com
Fri Jul 21 14:16:33 PDT 2017
On 07/19/2017 10:32 AM, Timon Gehr wrote:
> On 19.07.2017 14:13, Moritz Maxeiner wrote:
>> On Wednesday, 19 July 2017 at 11:35:47 UTC, Timon Gehr wrote:
>>> a value of type bottom can be used to construct a value for any other
>>> type.
>>
>> AFAIK from type theory, bottom is defined as having no values (so one
>> can't reason about the relationship of such non-existent value(s) to
>> values of other types).
> https://en.wikipedia.org/wiki/Principle_of_explosion
Didn't know "false implies anything" comes with such a nice name.
Thanks! -- Andrei
More information about the Digitalmars-d
mailing list