Python from Wise Guy's Viewpoint

[Matthias Blume]

Pascal Costanza <costanza at web.de> writes:

> Well, to say this once more, there are programs out there that have a
> consistent design, that don't have "problems", and that cannot be
> statically checked.

Care to give an example?  How you you know that the design is
consistent?  Do you have a proof for that claim?  Can you write that
proof down for me, please?

:-)

Matthias