What is Expressiveness in a Computer Language

George Neuner gneuner2/ at comcast.net
Tue Jun 20 19:08:34 CEST 2006

On Mon, 19 Jun 2006 22:02:55 +0000 (UTC), Dimitri Maziuk
<dima at> wrote:

>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

If the index computation involves wider types it can still produce
illegal index values.  The runtime computation of an illegal index
value is not prevented by narrowing subtypes and cannot be statically

for email reply remove "/" from address

More information about the Python-list mailing list