The ML family is indeed interesting. No crazy syntax, many useful features shared with Haskell and they're strict, so easier to learn overall.

If OCaml gets better parallelism, it'll rival F# in usefulness, but without the annoying VM.