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
Have I got a link for you!
https://github.com/llaisdy/beam_languages
See you down the rabbit hole!
Elixir, LFE, etc. seem to work fine for the people who enjoy them.
https://github.com/llaisdy/beam_languages
LFE is Virding's himself, and has been around for longer than Erlang has been popular: Robert Virding - LFE - a lisp flavour on the Erlang VM (Lambda Days 2016)
https://www.youtube.com/watch?v=Br2KY12LB2w
Edit: Implementing Languages on the BEAM - Robert Virding - London Erlang User Group
I think you might find one that suits your needs in this list