C strongly typed?

[Wayne Throop]

> From: flc at n.sp.cs.cmu.edu (Fred Christianson)
> From Aho, Sethi and Ullman's _Compilers,_Principles,_Techniques,_and_Tools_:
> 	A language is strongly typed if its compiler can guarantee that 
> 	the programs it accepts will execute without type errors ...
>	For example if we first declare
>		table: array[0..255] of char;
>		i: integer
>	and then compute table[i], a compiler cannot in general guarantee
>	that during execution, the value of i will lie in the range 0 to 255.

By this definition, are there ANY stronly typed languages in the
algol family?  I can't think of any strongly typed languages by this
definition that are in what I'd call practial use.  Can anybody else?
Certainly Ada, ModulaII, and Pascal all fail this test, do they not?

And a general objection to this definition is that it doesn't
define a gradiation; it defines "strongly typed" as a binary
property, so that one language is not "more strongly typed" than
another... it either Is or it Isn't.  This doesn't follow the
usual thoughts about strong typeing.
--
Wayne Throop <backbone>!mcnc!rti!sheol!throopw or sheol!throopw at rti.rti.org