Re: Strong encapsulation, weak encapsulation, and getSearchTree

From: Sergio Antoy <antoy_at_cs.pdx.edu>
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.

Sergio

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mon Jun 14 2004 - 22:35:12 CEST

This archive was generated by hypermail 2.3.0 : Thu Sep 19 2019 - 07:15:05 CEST