Re: Intended meaning

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 25 Oct 2007 08:10:02 +0200

Sergio Antoy wrote:
> Given the following program:
>
> test = 1+x ? zero x where x free
> zero 0 = 0
>
> what should the evaluation of test produce?

>From the current language definition,
the evaluation has two nondeterministic branches,
one (1+x) suspends and one (zero x) evaluates to 0.
In a fair implementation, you good a suspended evaluation
and 0, in an unfair (based on backtracking like PAKCS),
it suspends. If you switch the order of expressions,
you'd first get 0 and then a suspension.

Best regards,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Okt 25 2007 - 09:33:13 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:08 CET