A general-purpose, functional programming language designed for reliability and scale, running on the Erlang VM BEAM, and compiles to both Erlang and JavaScript. It employs a type-safe, static, and inferred typing system which enhances its concurrent programming capabilities.