Agreed. Being able to drop seamlessly into an imperative style is very useful. I’m someone who isn’t an experienced functional programmer, or that deeply knowl

Agreed. Being able to drop seamlessly into an imperative style is very useful. I’m someone who isn’t an experienced functional programmer, or that deeply knowledgeable about type systems and category theory etc, but OCaml is still approachable to me, I feel I can get stuff done in it. I didn’t feel that way with Haskell - I tried, but found the number of ways to do things overwhelming, and a lot of it felt very theoretical. Of course, Haskell’s pureness is an impressive and interesting feature; but it isn’t for me. OCaml also has much better systems programming abilities compared with Haskell, IMO. It feels like OCaml is the Rust of the functional programming world (and this is no accident, the Rust compiler was first implemented in OCaml in fact). This is all completely subjective of course.