This. Python is strongly typed but the only runtime "checking" you get is the exception raised you try an operation on an object that doesn't implement an assum

This. Python is strongly typed but the only runtime "checking" you get is the exception raised you try an operation on an object that doesn't implement an assumed interface. GvR supports optional type checking in Python and has written a few documents laying out its defense, so it is in the works.