Re: more closed-world chatter
From: Jon Heggland <jon.heggland_at_idi.ntnu.no>
Date: Mon, 07 May 2007 07:56:32 +0200
Message-ID: <f1mf5o$7vu$1_at_orkan.itea.ntnu.no>
Date: Mon, 07 May 2007 07:56:32 +0200
Message-ID: <f1mf5o$7vu$1_at_orkan.itea.ntnu.no>
David BL wrote:
> Consider these two types
>
> T1 = int
> T2 = { 1,5,17,22,105 }
>
> I have the feeling it's not such a good idea to treat these in the
> same way. Otherwise what does it mean to distinguish between type and
> value? I would rather call T2 a value than a type, and keep the type
> system simple.
What criterion do you use to decide between "type" and "value"? Isn't T1 as much a set of values (and thus a value) as T2? Consider T1 = byte and T2 = { -128, -127, ..., -1, 0, 1, ... , 126, 127 } ...
-- JonReceived on Mon May 07 2007 - 07:56:32 CEST