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 Mo Jun 14 2004 - 22:35:12 CEST