[wmu]

There's is an interesting supposition: if Haskell wasn't pure functional (had imperative constructions) it would be more popular. But Ocaml is not pure functional and is not popular.