[m-dev.] Resources example

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Apr 27 17:56:39 AEST 2005


On 27-Apr-2005, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> Here's a reconceptualization of solvers.  Almost all ordinary Mercury
> predicates cannot be interpreted without using and/or modifying global
> state:  ie, the heap.

I haven't had time to really think about the rest of your proposal,
being too busy with papers, but the above is a gross mischaracterization,
because terms on the heap are used in a fully referentially transparent
manner.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list