PEP 3107 and stronger typing (note: probably a newbie question)

[Paul Rubin]

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)."

  -- 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.