Re: Values have types ??

From: Costin Cozianu <c_cozianu_at_hotmail.com>
Date: Fri, 05 Sep 2003 17:59:55 -0700
Message-ID: <bjbbdu$hf0jo$1@ID-152540.news.uni-berlin.de>

Leandro GuimarÃ£es Faria Corsetti Dutra wrote:
> On Thu, 04 Sep 2003 10:20:32 -0700, Costin Cozianu wrote:
>
>

>>2
>>
>>(pick your favorite representation in bits and pieces and your favorite
>>set theory)
>>
>>I wonder if you can clarify for me what type do you think it has.

>
>
> Could be integer, real, string...
>

Why not "even integer", or "even positive integer", or prime number ?

> Or even better, USD, GBP, CHF, code...
>
> The discussion was about values implicitly *in a RDB*. There,
> a value will *always* have a type. So your trap catches no mice... for
> this kind of mouse always live in a RDB.
>

In the D&D proposal a value is guaranteed to have a most specific type (MST), which is largely undefined in the book that a few people around here have come to recite like the bible.

In the above case I'd propose that the MST is, well, {2}.

2 then has the "type" {2} Received on Fri Sep 05 2003 - 19:59:55 CDT