If I might self publicise for a moment, I’m working on a Erlang/Elixir like language with full type inference and ADTs, perhaps you might find it interesting.
Here’s a thread with more detail: Gleam, a statically typed language for the Erlang VM
If I might self publicise for a moment, I’m working on a Erlang/Elixir like language with full type inference and ADTs, perhaps you might find it interesting.
Here’s a thread with more detail: Gleam, a statically typed language for the Erlang VM