
12 Jan
2009
12 Jan
'09
5:56 p.m.
On Mon, 2009-01-12 at 19:43 +0100, Bas van Dijk wrote:
On Mon, Jan 12, 2009 at 6:47 PM, Max Bolingbroke
wrote: GHC should indeed be doing so. I'm working (on and off) to work out some suitable heuristics and put the transformation into ghc -O2. There are a few wrinkles that still need sorting out, but preliminary indications are that it decreases the runtime of our standard benchmark suite, nofib, by 12% or so.
Great!
In the Stream library I'm developing at http://code.haskell.org/Stream I 'closurize' (for lack of a better name)
One name for this transformation (or one very closely related to it) is lambda-dropping which was chosen to contrast to the better known transformation, lambda lifting.