I was hoping this was about the programming language ML on BEAM.
I thought this was a call for Standard ML or something a rather on the Erlang VM.
(I really enjoyed this article though!)
As far as I know theres a few implementations of ML like languages on the Erlang VM
https://github.com/llaisdy/beam_languages
caramel and alpaca are worth checking out.
Gleam doesn't look like a ML lang but has a lot of the same semantics of a ML lang