Which ML is good in all these points?
As a Java programmer I've been amused at how ideas have diffused slowly from ML to Java such as the hotspot compiler & generational runtime (Sun hired somebody who did an academic project for a high-performance ML-famly runtime) as well as pattern matching, sealed classes, records, etc.