Modeling domain with types in Elixir

[stefanluptak]

Gleam, a statically typed language for the Erlang VM

Gleam is a statically typed language for the Erlang VM that I have been slowly building over the last year or so. I’ve had a few people ask me about it so I’m making this thread as a place to talk about it. The type system features full type inference without annotations, generics, flexible and ad-hoc records using row types, first class modules, ADT style enums, and no null/nil/undefined or subtyping. Users of Elm, OCaml, ReasonML etc will probably find it quite familiar. Gleam compiles to Er…

Elchemy

So someone made another elm-like language to compile to the EVM called Elmchemy. It is not really much like Elm in style, only in syntax, so it is just another ml-style language, I’ve not looked closely to it yet, thoughts?