What is Expressiveness in a Computer Language

Dimitri Maziuk dima at 127.0.0.1
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

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



More information about the Python-list mailing list