Bruno Desthuilliers <[EMAIL PROTECTED]> writes:
> Nope, he just asserted something wrong. Static typing is for compiler
> optimization. Type checking is at most a side effect, and in some
> languages (at least C, C++ and Java) can be totally defeated (usually
> using typecasting).
"Definitions of type system vary, but the following one due to
Benjamin C. Pierce roughly corresponds to the current consensus in
the programming language theory community:
[A type system is a] tractable syntactic method for proving the
absence of certain program behaviors by classifying phrases
according to the kinds of values they compute. (Pierce 2002)."
-- http://en.wikipedia.org/wiki/Type_theory#Type_system
C and C++ are basically untyped languages. Java casts can only
partially defeat its type system, so it's not untyped.
--
http://mail.python.org/mailman/listinfo/python-list
