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 Do Aug 19 2004 - 14:51:51 CEST