4 ms·
It seems to be equivalent to Haskell's Void type. The Void type is simply the type of no values. If you cannot create a value of this type, yet you "return" it,
by Peaker 10y ago
It seems to be equivalent to Haskell's Void type. The Void type is simply the type of no values. If you cannot create a value of this type, yet you "return" it, then it is proof that you never return.
- munificent 10y agoAlso "Nothing" in Scala and "never" in TypeScript. The bottom type[1] goes by a lot of names. Interesting, I think Haskell does sort of have a value for it, undefined. It's just that if you look at that value too hard, it throws. :) [1]: https://en.wikipedia.org/wiki/Bottom_type https://en.wikipedia.org/wiki/Bottom_type