Re: Curry language changes

From: Mario Rodriguez-Artalejo <mario_at_eucmos.sim.ucm.es>
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".

Best,

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