A modern programming language that makes developers happier.

kotlinlang

Can I ask why there is a `Nothing` type and what the use case is

<https://kotlinlang.slack.com/archives/C0BJ0GTE2/p1524642211000255>

Nothing is ~parrent~ subtype of all other types, if Nothing is return type it means “this function will never return”, for exampole always throws exception, this make `TODO()` function so useful

also
<https://medium.com/thoughts-overflow/kotlin-has-nothing-but-there-is-nothing-like-nothing-in-java-cab98e4f4d26>

<@U0BRK9HC5> You wrote "Nothing is parrent type of all other types" but I think it's the other way around. Nothing is like a bottom element in the type system and `Any?` is a parent of all other types

Yes, sorry, of course. It’s subtype of all other types

also, `Nothing?` is the type of the null literal, which is why it can be assigned to any nullable l-value