Re: predicate, constraints, header, relvar, and relation

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Sat, 21 Apr 2007 01:50:28 GMT
Message-ID: <E5eWh.26545$PV3.272897@ursa-nb00s0.nbnet.nb.ca>

Marshall wrote:

> On Apr 20, 5:26 pm, Bob Badour <bbad..._at_pei.sympatico.ca> wrote:
>

>>I could see someone wanting to overload
>>the constraint concept to achieve this goal, but I think that would be a
>>mistake.

>
> Argh. Why, dammit?!
>
> I was planning on doing exactly that.

I think the property concept works better than the constraint concept. Saying: "Here is a value, and it has the following properties" is subtly different from "Here is a value, and it must always obey the following constraints." How could a value ever disobey them?

In part, it might just be a matter of choice of syntax.

Erm, or maybe not. I suppose it makes sense to say: "Check that the above literal has the following properties." Especially for large complex literals. Received on Fri Apr 20 2007 - 20:50:28 CDT