PEP 3107 and stronger typing (note: probably a newbie question)
Fri Jun 29 17:57:14 CEST 2007
Bruno Desthuilliers <bruno.42.desthuilliers at wtf.websiteburo.oops.com> 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)."
C and C++ are basically untyped languages. Java casts can only
partially defeat its type system, so it's not untyped.
More information about the Python-list