- Functional, local impurities (so no global mutable variables).
- Good support for templates, compile-time eval, source generation.
- Algebraic effects or monads. <!-- TODO: find out which one we want to use. -->
- No garbage-collection where possible, but garbage-collected otherwise. Memory-safe.
- Basic refinement types.
- Laziness in stdlib (together with infinite streams/iterators), not language.
- 

- Compile to C, then use clang.