Fir programming language Fir is a programming language with: Static types and indentation sensitive syntax Traits (typeclasses) for polymorphism Monomorphisation and unboxed/value types Effects Built-in tooling and a large standard library For introduction, see blog posts: Error handling in Fir Throwing iterators in Fir