On Mon, 2009-01-12 at 19:43 +0100, Bas van Dijk wrote: > On Mon, Jan 12, 2009 at 6:47 PM, Max Bolingbroke > <batterseapo...@hotmail.com> 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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
