Re: Intended meaning

From: Sergio Antoy <antoy_at_redstar.cs.pdx.edu>
Date: Thu, 25 Oct 2007 21:22:36 -0700 (PDT)

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 Fri Oct 26 2007 - 07:52:39 CEST

This archive was generated by hypermail 2.3.0 : Mon Nov 11 2019 - 07:15:07 CET