Discussion Thread: DIP 1034--Add a Bottom Type (reboot)--Final Review
johan_forsberg_86 at hotmail.com
Tue Sep 22 12:44:14 UTC 2020
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)":
> 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:
> And my blog post on the difference between the Discussion and
> Feedback threads:
> 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.
More information about the Digitalmars-d