Re: Values have types ??
From: Leandro Guimarães Faria Corsetti Dutra <lgcdutra_at_terra.com.br>
Date: Sat, 06 Sep 2003 11:16:20 +0200
Message-ID: <pan.2003.09.06.09.16.20.358578_at_terra.com.br>
>
> 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.
Date: Sat, 06 Sep 2003 11:16:20 +0200
Message-ID: <pan.2003.09.06.09.16.20.358578_at_terra.com.br>
On Fri, 05 Sep 2003 17:59:55 -0700, Costin Cozianu wrote:
>> Could be integer, real, string...
>>
> Why not "even integer", or "even positive integer", or prime number ?
Indeed, why not? Surely yes. That's what the three little dots at the end of my phrase mean, they are called an 'ellipsis' and are meant to a open set of unspecified alternatives.
>> 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}.
That meaning? You see, the type is part of the meaning...
So what?
-- _ Leandro Guimarães Faria Corsetti Dutra +41 (21) 648 11 34 / \ http://br.geocities.com./lgcdutra/ +41 (78) 778 11 34 \ / Answer to the list, not to me directly! +55 (11) 5686 2219 / \ Rate this if helpful: http://svcs.affero.net/rm.php?r=leandroReceived on Sat Sep 06 2003 - 11:16:20 CEST