A value of type
Void cannot be constructed, just as a falsity cannot be proved.
This leads to functions like
absurd in Haskell, which can be seen as 'bluffs'. If you can provide a value of type
Void, they can provide any other type.
absurd :: Void -> a
why is the absurd function useful?
- Unit Type
- The empty set and the void type
- Void and Unit form the basis for all types
- The void type is called 'never' in TypeScript
- Sum Type
- Void is impossible to construct