Brmh

• ML-ish systems programming
  • Functional-first
  • Module system (second-class)
• Control over memory layout, on a level similar to Go
• Effects system
• Generics and metaprogramming
  • System F with implicit functors and functions
    • Monomorphization à la C++/MLton/Rust
  • Lisp-like macros
  • constexpr/comptime
  • Types as values
• GC