Thanks for all the replies. So,
test = 1+x ? zero x where x free
is the same as
test = 1+x ? zero y where x,y free
Is this OK? In the first rule, x is a variable, therefore it is
shared.
If the two arguments of "?" are evaluated concurrently, should x
be shared by the concurrent evaluations?
If we replace "where x free" with "where x = 2+2", should 2+2
be evaluated twice or it can be safely shared?
If we replace "?" with "+", the above rules are clearly different.
Cheers,
Sergio
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Okt 26 2007 - 07:52:39 CEST