What is Expressiveness in a Computer Language

[Dimitri Maziuk]

Yet Another Dan sez:

... Requiring an array index to be an integer is considered a typing 
> problem because it can be checked based on only the variable itself, 
> whereas checking whether it's in bounds requires knowledge about the array.

You mean like
 subtype MyArrayIndexType is INTEGER 7 .. 11
 type MyArrayType is array (MyArrayIndexType) of MyElementType

Dima
-- 
We're sysadmins. Sanity happens to other people.                  -- Chris King