Re: Non-deterministic operation

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 19 Aug 2004 14:32:32 +0200

Wolfgang Lux wrote:
> Just a minor nitpicking. It would be better to have infixr 0 ? instead
> of infixl 0 ?, since this causes less non-deterministic splitting for
> 1 ? 2 ? 3 when computing only the first solution with a search strategy.
> It is also operationally better behaved in a backtracking implementation
> like PACKS (and the interactive top-level of MCC for that matter). And,
> finally, this is also a useful hint to the users that she should prefer
> using foldr1 (?) l instead of foldl1 (?) l in order to pick one element
> non-deterministically from the list l.

Good points, I completely agree.
If I receive no objections, I'll change the Curry report
accordingly.

Best regards,

Michael

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Thu Aug 19 2004 - 14:51:51 CEST

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:05 CEST