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

[Imperatorn]

On Tuesday, 22 September 2020 at 12:14:50 UTC, Mike Parker wrote:
> This is the discussion thread for the Final Review of DIP 1034, 
> "Add a Bottom Type (reboot)":
>
> https://github.com/dlang/DIPs/blob/b5bf9c4bed7afdae3bea1485093dbf2431bf72c7/DIPs/DIP1034.md
>
> The review period will end at 11:59 PM ET on October 6, or when 
> I make a post declaring it complete. Discussion in this thread 
> may continue beyond that point.
>
> Here in the discussion thread, you are free to discuss anything 
> and everything related to the DIP. Express your support or 
> opposition, debate alternatives, argue the merits, etc.
>
> However, if you have any specific feedback on how to improve 
> the proposal itself, then please post it in the feedback 
> thread. The feedback thread will be the source for the review 
> summary I write at the end of this review round. I will post a 
> link to that thread immediately following this post. Just be 
> sure to read and understand the Reviewer Guidelines before 
> posting there:
>
> https://github.com/dlang/DIPs/blob/master/docs/guidelines-reviewers.md
>
> And my blog post on the difference between the Discussion and 
> Feedback threads:
>
> https://dlang.org/blog/2020/01/26/dip-reviews-discussion-vs-feedback/
>
> Please stay on topic here. I will delete posts that are 
> completely off-topic.

I have one (very) general comment. Since we are talking about the 
halting problem, completeness etc. Since time is in essence the 
problem, would it be possible to annotate a function with a 
timeout (physical or virtual time) which leads to the bottom type 
if exceeded? This could in theory be very useful.