[m-dev.] Resources example

[Zoltan Somogyi]

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
--------------------------------------------------------------------------