Discussion Thread: DIP 1034--Add a Bottom Type (reboot)--Final Review
Imperatorn
johan_forsberg_86 at hotmail.com
Tue Sep 22 22:05:54 UTC 2020
On Tuesday, 22 September 2020 at 21:52:24 UTC, Paul Backus wrote:
> On Tuesday, 22 September 2020 at 17:46:07 UTC, Imperatorn wrote:
>>
>> Well, what about determinism, reasoning about halting,
>> real-time contexts, time sharing, functional safety,
>> async/await control, FSM constraints, resource management,...,
>> etc
>>
>> Well, strictly not bottom type, but it could be related,like
>> (pseudo-code) @timeout(500.msecs, doSomething(), return
>> something)
>
> This kind of thing can (and should) be implemented as a
> library. There's no reason to make it part of the type system.
Yup
More information about the Digitalmars-d
mailing list