[Python-Dev] my nomination for quote-of-the-week
Skip Montanaro
skip@pobox.com (Skip Montanaro)
Fri, 13 Jul 2001 14:41:39 -0500
This gets my vote for quote-of-the-week. Andrew, I seem to recall you are
collecting this sort of stuff.
From: quinn@yak.ugcs.caltech.edu (Quinn Dunkan)
To: python-list@python.org
Subject: Re: not safe at all
Date: 13 Jul 2001 19:12:51 GMT
...
The static people talk about rigorously enforced interfaces, correctness
proofs, contracts, etc. The dynamic people talk about rigorously
enforced testing and say that types only catch a small portion of
possible errors. The static people retort that they don't trust tests
to cover everything or not have bugs and why write tests for stuff the
compiler should test for you, so you shouldn't rely on *only* tests, and
besides static types don't catch a small portion, but a large portion of
errors. The dynamic people say no program or test is perfect and static
typing is not worth the cost in language complexity and design
difficulty for the gain in eliminating a few tests that would have been
easy to write anyway, since static types catch a small portion of
errors, not a large portion. The static people say static types don't
add that much language complexity, and it's not design "difficulty" but
an essential part of the process, and they catch a large portion, not a
small portion. The dynamic people say they add enormous complexity, and
they catch a small portion, and point out that the static people have
bad breath. The static people assert that the dynamic people must be
too stupid to cope with a real language and rigorous requirements, and
are ugly besides.
This is when both sides start throwing rocks.
...
Skip