Re: Values have types ??

From: Alfredo Novoa <alfredo_at_ncs.es>
Date: 7 Sep 2003 15:43:26 -0700
Message-ID: <e4330f45.0309071443.3093c8f1@posting.google.com>

Costin Cozianu <c_cozianu_at_hotmail.com> wrote in message news:<bjbbdu$hf0jo$1_at_ID-152540.news.uni-berlin.de>...

> 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}

If you had defined a type called {2} then it is a correct result for the D&D model. In such model types have name, and not-builtin types must be defined by the user.

Regards
Alfredo Received on Sun Sep 07 2003 - 17:43:26 CDT