Cheap Deforestation in Practice: An Optimizer for Haskell

Andrew Gill and Simon Peyton Jones, IFIP Congress (1), 1994

AbstractWe present a simple, automatic transformation - the foldr/build transformation - which successfully removes many intermediate lists from programs written in non-strict functional programming languages. While the idea is simple and elegant, it turns out that some care is needed in the compiler to set up the right conditions for the foldr/build transformation to be applicable. We report on this practical experience, and present results which quantify the benefits that can in practice be achieved.
 
Resourcespdf
 
BibTeX
@inproceedings{CheapPrac94,
  author = {Andrew Gill and Simon Peyton~Jones},
  title = {Cheap Deforestation in Practice: An Optimizer for {H}askell},
  booktitle = {IFIP Congress (1)},
  year = {1994},
  pages = {581--586},
  abstract = {We present a simple, automatic transformation - the foldr/build transformation - which successfully removes many intermediate lists from programs written in non-strict functional programming languages. While the idea is simple and elegant, it turns out that some care is needed in the compiler to set up the right conditions for the foldr/build transformation to be applicable. We report on this practical experience, and present results which quantify the benefits that can in practice be achieved.},
  cite = {19}
}