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