Re: Constraints and Functional Dependencies
From: paul c <toledobythesea_at_oohay.ac>
Date: Sun, 25 Feb 2007 21:01:44 GMT
Message-ID: <YOmEh.1127589$1T2.868730_at_pd7urf2no>
Date: Sun, 25 Feb 2007 21:01:44 GMT
Message-ID: <YOmEh.1127589$1T2.868730_at_pd7urf2no>
Bob Badour wrote:
> ...
> Simply put, b != {b} because the type of b is different from the type of
> {b}. Equating them would be the exact same error as equating {} with {{}}.
> ...
That may be right and sensible, but ignoring questions of syntax, I'm not yet sure of that as I still don't understand much of type theory for example that of TTM. I do believe there are times when TTM allows equality comparisons between different types but I don't know if this is allowed only for subtypes/supertypes.
p Received on Sun Feb 25 2007 - 22:01:44 CET