Haskell people see Ocaml as a language with too many features and complexity? really? Haskell, a language with a billion extensions? Have you ever tried compili

Haskell people see Ocaml as a language with too many features and complexity? really? Haskell, a language with a billion extensions? Have you ever tried compiling ghc? I don't know about ocsigen(i don't do web development), but i guess all web frameworks are more complex than they need to be. I haven't even mentioned all the formal verification stuff(coq, a verified C compiler, frama-c etc.) that come from inria. I mentioned PHP because the GP was saying languages like PHP that comes from denmark etc., but nothing from France.