Re: predicate, constraints, header, relvar, and relation
Date: Sat, 21 Apr 2007 01:50:28 GMT
Message-ID: <E5eWh.26545$PV3.272897_at_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 Sat Apr 21 2007 - 03:50:28 CEST