[Haskell-cafe] Interesting critique of OCaml
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
More information about the Haskell-Cafe