Adding static typing to Python

[Jason Orendorff]

Courageous wrote:
> 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.

I agree, for your example; but a common use of typedefs now is
to create an alias for a type whose name is just too long to be
allowed.

  typedef list<pair<string, bool> >::iterator ItemIter;

## Jason Orendorff    http://www.jorendorff.com/