https://aiken-lang.org/ A pure functional programming language
Small and easy to learn
Strong static typing with inference
First-class functions, everything is an expression
Custom types, recursion, modules, generics...
Modules, imports and package manager