[e-lang] Non-transparent memoization: is this safe?

[Mark S. Miller]

Kevin Reid wrote:
> Is it OK to consider safe a memoizer which instead memoizes results  
> if they are just DeepFrozen?

Well, it is *safe*, in the sense that the resulting object may still safely be 
deemed DeepFrozen. But since it isn't equivalent to the original function, I'm 
not sure whether it is still a memoizer. Is there an accepted sense of what 
"memoize" means, such that we can tell whether we should adopt a different name?

-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM