Ocaml, Standard ML, F# or maybe some lesser known one? Right now I'm mainly using Go because of its simplicity, rich ecosystem (many libs), great docs, great tooling etc.<p>Which ML is good in all these points?
I like OCaml and I like F#. The choice between them is really "do you like .NET?"<p>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.
I don’t know, but I find the book “Purely Functional Data Structures” presents code using Standard ML in a way that is completely elegant and beautiful. I haven’t coded much ML myself, but the way it’s presented in the book is some of the cleanest code I’ve ever gazed upon.