Re: Curry language changes
Dear all,
>To avoid thess misunderstandings and make the notions clearer,
>we suggest to change the name "Constraint" into a name related
>to a domain with only a positive truth value. Proposals are
>- Success (since "success" is currently the corresponding function)
>- Valid (for validity)
>- Truth (for indicating the this domains can only express truth)
>
>If we adapt e.g. "Success", then one can say that a "constraint"
>is a function with result type "Success", which avoids some of the
>misunderstandings with the current names.
I agree with this view, and I like the proposal "Success".
Best,
Mario.
Received on Mi Dez 01 1999 - 08:59:09 CET
This archive was generated by hypermail 2.3.0
: Do Feb 01 2024 - 07:15:05 CET