Playing by the rules: rewriting as a practical optimisation technique in GHC.
Simon Peyton Jones, Andrew Tolmach and Tony Hoare; Haskell workshop 2001.
We describe a facility for improving optimization of Haskell programs using rewrite rules. Library authors can use rules to express domain-specific optimizations that the compiler cannot discover for itself. The compiler can also generate rules internally to propagate information obtained from automated analyses. The rewrite mechanism is fully implemented in the released Glasgow Haskell Compiler.
For some reason this paper wasn't mentioned here before. It is very much worth reading if you are interested in optimizing functional languages.
The paper is very readable and contains a few itneresting examples of deforestation.
Posted to functional by Ehud Lamm on 1/16/03; 5:44:27 AM