"S.D.Mechveliani" wrote:
>
> Josef Sveningsson, Olaf Chitil write about foldr/build rule.
>
> But what does it mean, or where to read about it?
> Is it a style for the Haskell programming?
The foldr/build rule is a program transformation which performs deforestation of
lists. To be applicable, the list producer must be defined in terms of the
combinator build and the list consumer in terms of foldr. You can find the
original paper about it at:
http://research.microsoft.com/Users/simonpj/Papers/deforestation-short-cut.ps.Z
--
OLAF CHITIL, Lehrstuhl fuer Informatik II, RWTH Aachen, 52056 Aachen, Germany
Tel: (+49/0)241/80-21212; Fax: (+49/0)241/8888-217
URL: http://www-i2.informatik.rwth-aachen.de/~chitil/
