- Boolean
- Number
- String
- Array
- Tuple
- Enum
- Any
- Void
- Null
- Undefined
- Never
It is important to always remember that type safety and inference is only a compile time feature and not available during runtime.
The above features immensely help in better programs, easier documentation and code hints or api signature understanding.