Re: prelude extension proposal

From: Bernd Brassel <bbr_at_informatik.uni-kiel.de>
Date: Fri, 14 Oct 2005 14:21:57 +0200

Wolfgang Lux schrieb:

> In fact, in that view encapsulation is neither rigid nor flexible(*), but
> it is simply an error to use a non-local variable (except for putting it
> into some data term that is returned from the encapsulated search).
>
> (*) Encapsulation cannot be flexible because that would mean the search
> goal could instantiate (probably non-determinstically) non-local variables.

Actually, this is what the mentioned paper describes. You can bind
non-local variables, but this binding is then only local. Conceptually,
strong encapsulation means making a copy of the whole evaluation state.
And, if you'd like, you can call this kind of encapsulation "flexible".

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Okt 14 2005 - 15:19:03 CEST

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