I think it's still fairly young, but Gleam is an ML family language that works with the BEAM. Specifically, it compiles to erlang.