Re: Strong encapsulation, weak encapsulation, and getSearchTree

From: Sergio Antoy <>
Date: Mon, 14 Jun 2004 10:39:30 -0700

Right, but in

    let x = coin
        y = clone x
     in ...

how do you ensure that x is not evaluated before invoking clone?
For example, if ... is x+y, do you evaluate first x or y? The
semantics should be independent of the evaluation order of the
arguments of +. Indeed we are working on evaluating x and y in
parallel, otherwise it is very easy to lose completeness in the
presence of residuation.


curry mailing list
Received on Mo Jun 14 2004 - 22:35:12 CEST

This archive was generated by hypermail 2.3.0 : Do Nov 30 2023 - 07:15:07 CET