Why I love OCaml and what I do with it

He prefers OCaml to Haskell because of Haskell's mental overhead. I think he nailed the problem a lot of people have with Haskell.

He likes the ability to mutate when he wants/needs to. He wants to be functional, but not forced to be purely functional.

I'm sure the Haskell types (pun intended) will have counter-arguments to these points, but Edgar's position seemed pretty good to me...