I have two questions to our dear implementors concerning the foldr/build
rule.
1.
Wy isn't there any documentation on how to write programs so that they can
be optimized using the foldr/build rule. What I'm after is the lists of
good listconsumers and -producers. I believe they belong in the chapter
"Advice on: sooner, faster, smaller, stingier" in the documentation.
2.
Now that the typesystem is expressive enough, wouldn't it be nice to
expose build to the programmer? I would find it really neat to be able to
construct my own functions that can be optimized with the foldr/build
rule. The prelude is ofcourse often enough but sometimes it's not and
being able to use build then would not only improve performance but would
also be good programming style in my opinion.
Thanks in advance.
/Josef
----------------------------------------------------------
|Josef Svenningsson|http://www.dtek.chalmers.se/~d95josef|
|Rubingatan 39 | email: [EMAIL PROTECTED] |
|421 62 G�teborg | tel: 031-7090774 |
----------------------------------------------------------
What is a magician but a practising theorist?
-- Obi-Wan Kenobi
