Kitten, a programming language based on zero-cost abstractions (https://github.com/evincarofautumn/kitten https://github.com/evincarofautumn/kitten). Competing

Kitten, a programming language based on zero-cost abstractions (https://github.com/evincarofautumn/kitten https://github.com/evincarofautumn/kitten). Competing in the same space as C++, Rust, and Nimrod. Statically typed, type-inferred, stack-based, higher-order, GC optional, with an effect system to manage side effects. Very much a work in progress, but you should stow it in your brain as a systems language to try in the future.