Elchemy
Write Elixir code using statically-typed Elm-like syntax
...Elchemy is a set of tools and frameworks, designed to provide a language and an environment as close to Elm programming language as possible, to build server applications in a DSL-like manner for Erlang VM platform, with a readable and efficient Elixir code as an output. ML-like syntax maximizes expressiveness with additional readability and simplicity constraints. Tagged union types and type aliases with type parameters (aka generic types). Powerful type inference means you rarely have to annotate types. Everything gets checked for you by the compiler. The produced code is idiomatic, performant and can be easily read and analyzed without taking a single look at the original source. ...