The person to look to for explanations of why OCaml/SML and not Haskell is Bob Harper. For example, the module system vs ad hoc polymorphism: https://existentialtype.wordpress.com/2011/04/16/modules-mat... He also has in-depth critiques of laziness-by-default but the one link I found is a 404.
sideeffffect|7 months ago
https://www.youtube.com/playlist?list=PL0DsGHMPLUWVy9PjI9jOS...