I'm building a lil programming language that compiles to Rust. It's GC'd, much friendlier type system, more limited in power, but lets you write inline Rust as-needed.
Big feature is capabilities.
Compiles and works, just need to improve the type inference (limited Hindley-Milner right now).
8 months ago