Bottom Type--Type Theory

[Walter Bright]

On 1/16/2019 5:21 PM, H. S. Teoh wrote:
> Yeah, how did this DIP get so far when it's standing on such shaky
> foundations?  Shouldn't somebody of Timon's calibre have been recruited
> to iron out the kinks before "final review"?

The idea originally came up here:
https://digitalmars.com/d/archives/digitalmars/D/proposed_noreturn_attribute_303875.html

Timon was asked:
https://digitalmars.com/d/archives/digitalmars/D/proposed_noreturn_attribute_303875.html

There's a fair amount of good commentary from Timon about it, he's obviously the 
right person to write the DIP.