Some things that I thought were interesting:<p>He prefers OCaml to Haskell <i>because of Haskell's mental overhead</i>. I think he nailed the problem a lot of people have with Haskell.<p>He likes the ability to mutate when he wants/needs to. He wants to be functional, but not forced to be purely functional.<p>I'm sure the Haskell types (pun intended) will have counter-arguments to these points, but Edgar's position seemed pretty good to me...