Maybe Rossberg's 1ML will become a reality. Barring that, "Successor" ML is cleaning up some deficiencies in the original standard, and ML implementations are

Maybe Rossberg's 1ML will become a reality. Barring that, "Successor" ML is cleaning up some deficiencies in the original standard, and ML implementations are starting to integrate the changes. But yeah, a strict ML with the pristine syntax of SML; the modular implicits coming to OCaml; the innovative ideas in 1ML -- now that would be a great language. Sigh, back to Scala...