Re: Encapsulated search does not encapsulate (all)non-determinism

From: Frank Steiner <>
Date: Mon, 14 Jan 2002 13:45:55 +0100

Wolfgang Lux wrote:
> > This means that most search operators are no longer applicable.
> I'm not convinced. Do you have any other examples? The only problem I see
I haven't thought about any meaningful examples, but anyway, we could
not rely on a search operator encapsulating non-determinism anymore.
Thus, in case of I/O-based programs, we could not be sure that we always
avoid runtime errors due to non-determinism. In my mind, this would be
a major drawback. The fact that we might not see a good example at the
moment is not a big point. The situation might occur very fast when
one starts considering a special/new class of problems in Curry. From
my point of view, a solution where non-determinism is encapsulated
in *every* situation was preferrable. However, I don't see an easy solution
at the moment.

Best regards,

Dipl.-Inform. Frank Steiner
Lehrstuhl f. Programmiersprachen
CAU Kiel, Olshausenstraße 40       Phone: +49 431 880-7265, Fax: -7613
D-24098 Kiel, Germany    
Received on Di Jan 15 2002 - 06:46:17 CET

This archive was generated by hypermail 2.3.0 : Mo Dez 04 2023 - 07:15:06 CET