They both have a single relevant implementation and for haskell in particular it's a complex behemoth. Haskell has a specification in theory but a sea of extens

They both have a single relevant implementation and for haskell in particular it's a complex behemoth. Haskell has a specification in theory but a sea of extensions exists. Ocaml does not have a specification. Ocaml lacks good docs and is moving too fast. But the most significant thing in my opinion is the community, which is heavily research oriented. And that's fine, we need research languages and I'll gladly continue to write software in Ocaml, but I wouldn't want to pick it for a project I'd want to be well engineered.