Re: 1GB Tables as Classes, or Tables as Types, and all that refuted
From: Alfredo Novoa <alfredo_at_ncs.es>
Date: Wed, 01 Dec 2004 16:11:45 GMT
Message-ID: <41adec79.5867296_at_news.wanadoo.es>
Date: Wed, 01 Dec 2004 16:11:45 GMT
Message-ID: <41adec79.5867296_at_news.wanadoo.es>
On Mon, 29 Nov 2004 16:44:44 -0600, "Dawn M. Wolthuis"
<dwolt_at_tincat-group.comREMOVE> wrote:
>1) Has anyone provided any better logic related to the 1GB than that
Logic is correct or incorrect.
> If not, I would think we could talk about this as
This is tautology:
If types are not variables, it is wrong to equate types and variables.
A <> B => ~ ( A = B )
There is no intuition or hypothesis here.
>provided by Date?
>intuition or hypothesis that there is a mistake rather than anything
>resembling a proof, right?
Regards Received on Wed Dec 01 2004 - 17:11:45 CET