What is Expressiveness in a Computer Language

Dimitri Maziuk dima at
Tue Jun 20 00:02:55 CEST 2006

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

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

More information about the Python-list mailing list