[Haskell-cafe] Global memoization in Haskell

[Stephen Tetley]

Hi Albert

My contention is that there are specific programs (or specific
functions within them) that memoization improves - hence adding
memoization to those programs rather than the compiler is the way to
go.

Not that I've looked deeply, but I think adding memoization to GHC
would be a pretty substantial undertaking. In the first instance where
do you put the memo-ed values? - if you're doing it for all functions
you might have to change the RTS as well as the compiler.

Best wishes

Stephen