27 Jun
2012
27 Jun
'12
3:19 p.m.
It's described in Andy Gill's PhD thesis (which describes the
foldr/build fusion).
http://ittc.ku.edu/~andygill/paper.php?label=GillPhD96 Section 4.4
describes the basic ideas. There aren't any further details, though.
Max's Strict Core paper also describes it a bit (Section 6):
http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf
On 27 June 2012 08:58, Dominic Steinitz
Duncan Coutts
writes: This could in principle be fixed with an arity raising transformation,
Do you have a reference to arity raising transformations?
Thanks, Dominic.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Push the envelope. Watch it bend.