Elchemy
Write Elixir code using statically-typed Elm-like syntax
.... 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. Elchemy's type system eliminates almost all runtime errors.
.