Discussion Thread: DIP 1034--Add a Bottom Type (reboot)--Final Review
dkorpel at gmail.com
Tue Sep 22 21:13:04 UTC 2020
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,...,
I get why asynchronous execution and time-outs are useful, but
why do you want a time-out that results in the entire program
crashing? To me it looks like you'd want a function returning a
Nullable!T which is null in case of a time out, instead of a
`noreturn` function which is guaranteed to always fail.
> Well, strictly not bottom type, but it could be related,like
> (pseudo-code) @timeout(500.msecs, doSomething(), return
So does your proposal fit in this DIP?
More information about the Digitalmars-d