Re: no names allowed, we serve types only
From: paul c <toledobythesea_at_oohay.ac>
Date: Wed, 24 Feb 2010 21:34:24 GMT
Message-ID: <AXghn.69180$PH1.21630_at_edtnps82>
>
> What happens when one disagrees on what makes authority. For example, I
> consider Date an authority in this area--your ad hominem
> notwithstanding--because he put considerable tuition into the subject
> over a period of a decade or more. He did so with full knowledge of what
> others before him had to say including Cardelli. Further, he did so with
> an eye to obviating inconsistencies and flaws in those earlier works.
>
> More to the point, I find his arguments convincing.
>
> If you cannot offer a convincing reply to them, can you at least direct
> me to someone who has replied convincingly?
Date: Wed, 24 Feb 2010 21:34:24 GMT
Message-ID: <AXghn.69180$PH1.21630_at_edtnps82>
Bob Badour wrote:
> Jan Hidders wrote:
> ...
...
>>>>> C.Date presents this argument very well in section 20.9 of an >>>>> Introduction to Database Systems where he claims that a coloured >>>>> circle is not a subtype of circle (or vice versa). >>> >>>> The tuple that represents the circle is not the same thing as the >>>> circle itself. I find Date's argument rather unconvincing, to put it >>>> very mildly. He is by no means an authority in this area, and those >>>> that are mostly disagree with this position. >>> >>> Since when do you find argumentum ad verecundiam convincing? Hmmm? >>> [peers over rim of eyeglasses] >> >> I don't, nor do I think it is without any meaning whatsoever.
>
> What happens when one disagrees on what makes authority. For example, I
> consider Date an authority in this area--your ad hominem
> notwithstanding--because he put considerable tuition into the subject
> over a period of a decade or more. He did so with full knowledge of what
> others before him had to say including Cardelli. Further, he did so with
> an eye to obviating inconsistencies and flaws in those earlier works.
>
> More to the point, I find his arguments convincing.
>
> If you cannot offer a convincing reply to them, can you at least direct
> me to someone who has replied convincingly?
Has Date ever said that a tuple is the same as a circle? That would surprise me.
Can't comment much on type theory (in fact I don't even understand how this thread crossed into that territory). This is a young field. It might be useful to remember that many medical 'authorities' of the 18th-century are not remembered that way today. Received on Wed Feb 24 2010 - 22:34:24 CET