Out of curiosity, why Ocaml instead of (say) Haskell?
Generally, our stance is to prefer strictness, impurity, and clarity of analysis around speed and memory usage, instead of laziness, purity, and elegance. Also I prefer the Ocaml module system and its FFI, though I am wistful about Haskell's typeclasses.
Hopefully we'll get modular implicits some day, which should help with the typeclass envy ;)