Discussion Thread: DIP 1034--Add a Bottom Type (reboot)--Community Review Round 1

[Dennis]

On Wednesday, 6 May 2020 at 22:26:13 UTC, Walter Bright wrote:
> Thank you, Dennis, for a well-written DIP, and fixing #DIP1017. 
> Maybe you can take a stab at improving the D spec prose, too?

Glad to hear that. I have some other things (such as dmd bugs and 
prototype DIP implementations) I like to work on before looking 
at the D specification, but maybe I can find some time for it.

> * Mangling: prefer to stick with alpha_numeric characters for 
> mangling. It doesn't need to be short, as I expect it to be rare

Agreed.

> * Mention the conversion level, should be "convert".

Will do.

> * For comparisons, I'd use a more popular language than zig.

While Zig is young, from what I've seen it's gaining traction. 
More importantly, it has overlapping goals with D (systems 
programming language, fix C's mistakes). That makes their design 
decisions more interesting to me than e.g. TypeScript or Python 
even though those are more popular. The only other systems 
programming language that I know of that has a bottom type is 
Rust, which I already included in the DIP. Do you have a 
particular language you'd like to see compared?

For reference: 
https://en.wikipedia.org/wiki/Bottom_type#In_programming_languages