Type theory is the study of types.
Types have a cardinality, which is the number of possible values within that type.
- Types have a cardinality
- In type theory a type has a cardinality. The cardinality for a given type is the number of possible values. A cardinality can be finite or infinite. A pair of types with the same cardinality will always be isomorphic.
- The void type is called 'never' in TypeScript
- A type describes a set of possible values
- Void is impossible to construct