Adding static typing to Python

[Neil Hodgson]

Courageous:
> Speaking of typedef and the C/C++ languages, I've long thought
> that in a statically-typed language, the types should never be
> aliased, and should always be distinct. For example, the following
> shouldn't compile:
>
> typedef float F1;
> typedef float F2;
> ...

   Some program checkers such as PC-Lint can check for inconsistent use of
typedefed types. It is not as good as having the compiler check, but it can
be integrated into a build or check in system to ensure a greater degree of
type-safety than standard C/C++.

http://www.pclint.com/html/strong.htm

   Neil