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 } ...
--
Jon
Received on Mon May 07 2007 - 00:56:32 CDT
