Re: Intended meaning

From: Sergio Antoy <>
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

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.

curry mailing list
Received on Fr Okt 26 2007 - 07:52:39 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:09 CEST