[Haskell-cafe] Preventing sharing
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Mon Dec 21 11:25:08 UTC 2015
On Mon, Dec 21, 2015 at 08:17:10PM +0900, Oleg wrote:
> The old article
> Preventing memoization in (AI) search problems
> deals with the problem, explaining the trick to deliberately confuse
> GHC so that it won't perform memoization (sharing). Yes, I know how
> bad this confusing of GHC sounds: which is part of my argument that
> lazy evaluation by default was a mistake.
As I explained here
-fno-full-laziness fixes the space leak issue in your iterative deepening
This isn't a problem with laziness. It's a problem with performing a time
optimization which is a space pessimization. In the absence of the
"optimization" there is no problem.
More information about the Haskell-Cafe