22 Apr
2011
22 Apr
'11
8:08 a.m.
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