- Light-weight lambda syntax
- Sum types and records
- Global type inference
- Exhaustive match expressions
- Powerful generics
- Immutability by default
- Partial application / currying
- Modules
- Ecosystem of packages built around pure functions