If you just want to explore a functional language from the ML family to get some familiarity, Haskell might be the better bet.
If you specifically want a strict language and explore the OCaml ecosystem (or you already know Haskell): have fun with OCaml!
I've used both extensively---in addition to Racket, Erlang, Clean, etc, and various imperative languages.