For anyone who hasn't seen it: https://gleam.run/

> The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax.

Haven't used it, but I'd like to hear about others experience.