DIP 1017--Add Bottom Type--Community Review Round 1

[docandrew]

On Thursday, 9 August 2018 at 15:50:02 UTC, w0rp wrote:
> A better name for this type is `never`, which is the name of 
> the TypeScript type with similar semantics. 
> https://www.typescriptlang.org/docs/handbook/basic-types.html#never `nothing` is also a decent name, used in some other languages, but `never` makes it more obvious that a function never returns, and isn't as easy to confuse with `void`, which is a different kind of nothing.

+1 for "never" - it's descriptive and readable.

-Jon