[e-lang] Looser memoization and constant-folding: will this work?

[Kevin Reid]

David Wagner <daw at cs.berkeley.edu> wrote:
> Kevin Reid <kpreid at attglobal.net> writes:
> >   - Is there a way to handle the DeepFrozen-returns-DeepFrozen case
> >which does not involve two possibly-arbitrarily-expensive evaluations?
> You could store additional information in each cache entry,
> implementing the cache with a map
>   call -> cacheentry
> where
>   cacheentry = Once(result) | Cached(result) | NotMemoizable
...
> 
> I apologize for my late response.  I don't know whether this will help.

I believe this is the same as Mark Miller's answer, except as a
description instead of code. As such, thanks for writing documentation.
:)

-- 
Kevin Reid                            <http://homepage.mac.com/kpreid/>