Re:I hereby officially announce the Elixir type system effor...
by neodypsis on Monday July 03, 2023 @03:33PM
(#36577753)
I look forward to typed-Elixir! Some interesting projects targeting the Erlang VM are Gleam [0] and caramel (ML-like, but unfortunately no longer active) [1].
[0] https://github.com/gleam-lang/gleam
[1] https://github.com/AbstractMachinesLab/caramel