> is Scala an acceptable ML?

I thought it might be until I tried OCaml, and the difference between type inference that only works on locals and pervasive inference is huge. Also the fact that JVM interop makes it hard to avoid null pointers is a big strike against it.

Still, I agree that the odds are in its favour vs OCaml for things that don't need to be close to the metal.