`unknown` is a top type, since we're on the topic of nothingness it'd be remiss to not mention its dual, `never`.
The pair is also called `Any` and `Nothing` in some other languages.
https://www.youtube.com/watch?v=2PnPnSjCUnc
`unknown` is a top type, since we're on the topic of nothingness it'd be remiss to not mention its dual, `never`.
The pair is also called `Any` and `Nothing` in some other languages.