On Saturday, 11 August 2018 at 05:01:50 UTC, docandrew wrote:
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
And brings us closer to Rust, which is a good thing.
But it does not matter, since the PR isn't suggesting any name
for it -the user can create any alias of it he/she wants.
Personally, I think the most accurate term would be "Paradox" but
again it does not matter for sake of this DIP.
