Re: Curry language changes

From: Mario Rodriguez-Artalejo <>
Date: Tue, 30 Nov 1999 19:25:15 +0100

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".


Received on Mi Dez 01 1999 - 08:59:09 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:06 CEST