Does Python really follow its philosophy of "Readability counts"?

[Paul Rubin]

James Mills <prologic at shortcircuit.net.au> writes:
> Actually - in case you are perfectly unaware - programming
> languages -do not- bare meaning to such systems nor have
> an impact on their suitability or unsuitability.

Er, who do you think you are trying to fool, saying things like that?
Maybe just yourself.

> Have you ever developed a system with 0 defects ?
> If you have not, go away.
> Have you ever developed a system that is mathematically sound ?
> If you have not, go away.
> And can you -actually- prove that any of your system are -correct- ?
> ... ditto ...

http://compcert.inria.fr/doc/index.html  (no, I didn't work on this).

Care to attempt something comparable in Python?