[Haskell-cafe] Interesting critique of OCaml

An interesting critique of OCaml. http://enfranchisedmind.com/blog/2008/05/07/why-ocaml-sucks/ One phrase that stood out, regarding GHC's support for deforestation transformations like build/foldr and stream fusion: "Haskell is doing data structure level optimizations with the ease that most other compiler do peephole instruction optimization. This is a non-trivial result." Which I think really captures the joy of being able to write algebraic and data structure transformations, via rewrite rules, without having to extend the compiler -- all thanks to purity, laziness, and static typing. -- Don