jade-lang

https://github.com/agustinrhcp/jade

Jade is a statically typed functional language, inspired by Elm, that compiles to readable Ruby. It brings Hindley-Milner type inference, union types, records, exhaustive pattern matching, and typed boundaries to the Ruby ecosystem, while staying interoperable with existing Ruby code.