[mercury-users] list functor style functions

Ralph Becket rbeck at microsoft.com
Mon Nov 15 22:06:13 AEDT 1999


> > Actually, the way I've implemented it, using 
> extras/lazy_evaluation/lazy.m, 
> > you _can_ backtrack over the deconstruction function, due to the
> > operational semantics of force/1 which will cause the closure to
> > be evaluated only once.
> 
> Cool!  But does this mean the entire content of the file will be
> buffered in memory, even if the code is deterministic?  I don't think
> that would be an acceptable overhead.

I would have thought that garbage collection would work as usual?
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list