[Haskell-cafe] I love purity, but it's killing me.
sfvisser at cs.uu.nl
Wed May 27 07:27:30 EDT 2009
On May 27, 2009, at 12:51 PM, Sittampalam, Ganesh wrote:
> Sebastiaan Visser wrote:
>> But again, I might be missing some important point here.
> That's exactly right. But it's pretty inconvenient to have your
> expression tree to blow up exponentially in relation to the code the
> user actually wrote! You can indeed construct an intermediate language
> that collapses this blowup, but the pass to create it must take
> exponential time if written completely purely, since it has to visit
> everything at least once.
> In my experience , observable sharing using GHC's stable names is a
> pretty effective solution to this problem.
>  http://www.earth.li/~ganesh/research/paradise-icfp08/
Thanks, I just pushed your paper on top of my stack.
More information about the Haskell-Cafe