Re: Intended meaning

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 25 Oct 2007 12:35:05 +0200

Wolfgang Lux wrote:
> Sorry to disagree; the fact whether you get a suspended result
> and 0 has nothing to do with fairness, it is simply a matter
> of (proper) handling of deadlocks. In fact, MCC, which uses
> backtracking like PAKCS at the top-level, reports a suspension
> first and then computes the result 0.

Ok, this depends on the notion of fairness.
PAKCS is unfair in the sense that some "strange" computation
(infinite loop or suspension) can inhibit the computation
of solutions in other branches. The same is true for
run-time errors like in the expression

  div 1 0 ? 0

where the result 0 is not printed.

How does MCC behave for this expression?

Regards,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Thu Oct 25 2007 - 13:05:30 CEST

This archive was generated by hypermail 2.3.0 : Wed Sep 18 2019 - 07:15:06 CEST