[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.


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

-- Don

More information about the Haskell-Cafe mailing list