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

[Imperatorn]

On Tuesday, 22 September 2020 at 21:13:04 UTC, Dennis 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
>
> 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 
>> something)
>
> So does your proposal fit in this DIP?

Hmm... I guess it should be a new DIP. It's related to this, but 
not enough.