[weatherlight]

What if some wrote an implementation that targeted something like the Erlang Virtual machine? It be a herculean effort.

It's a really nice language, but there's no tooling for it.

[belmont_sup]

I’m guessing you’ve referring to what https://caramel.run/ could’ve been?

I think Gleam is pretty good enough to get that typed feel on the BEAM.

[weatherlight]

SML feels pretty different compared to OCaml.