Re: Values have types ??

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.

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 Sat Sep 06 2003 - 02:59:55 CEST