I'm not sure if SML can catch up with OCaml's nice tooling (opam, merlin, Core, etc...), even if it feels a bit cleaner language to me. A Shame, but merits of a programming language are not proportional to its success.

Edit. Oh, and here's a previous discussion: https://news.ycombinator.com/item?id=2433860