[Haskell-cafe] memoization

[Tom Ellis]

On Wed, Jul 24, 2013 at 10:06:59AM +0200, Andreas Abel wrote:
> For -O1 and greater, ghc seems to see that x is not mentioned in the
> where clauses and apparently lifts them out.  Thus, for -O1..
> memoized_fib is also memoizing.  (I ran it, this time ;-) !)

Right, I believe this is the "full laziness transformation" I mentioned
before

    http://foldoc.org/full+laziness                                                                                          
                                                                                                                             
    http://www.haskell.org/pipermail/haskell-cafe/2013-February/105201.html

Tom