Re: goops and memoization

[Lynn Winebarger]

On Monday 02 December 2002 03:45, Mikael Djurfeldt wrote:
> procedure-source.  I actually think working on the memoized
> representation is more of a hack, but that might be motivated anyway
> for reasons of efficiency.

       The problem with "unmemoizing" is that you don't have any
guarantee that 'lambda is bound to the constant system lambda
macro when you unmemoize.  The real justification for memoizing
is that you're evaluating the variables 'lambda,'if,etc to system 
constants.  

Lynn