[Haskell-cafe] Interesting critique of OCaml

Don Stewart dons at galois.com
Wed May 7 23:30:13 EDT 2008


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


More information about the Haskell-Cafe mailing list