Discussion Thread: DIP 1034--Add a Bottom Type (reboot)--Final Review

[Paul Backus]

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.