Ocaml is eminently practical (It's an ideal backend language), while SML isn't.

I think SML is cleaner, but OCaml has a more evolved ecosystem.

A third option would be F# - which I enjoy a lot.