[Haskell-cafe] not enough fusion?

[Thomas Schilling]

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 <dominic at steinitz.org> wrote:
> Duncan Coutts <duncan.coutts <at> googlemail.com> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe



-- 
Push the envelope. Watch it bend.