Re: Values have types ??

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 Mon Sep 08 2003 - 00:43:26 CEST