https://caramel.run/
Supported and battle-tested OCaml or StandardML for BEAM would be great, of course. I'm waiting for something like this for years.
https://caramel.run/