It seems me that a variation of the Lisp quote is also true. Any sufficiently large program written in a dynamically typed language will eventually end up reimplementing type-checking, badly. The largest Python system I know of is Zope, and it's very complicated, has reimplemented Java interfaces, and is generally harder to understand than a well-written Java web app written in plain old Java classes.

I also have yet to see a team get good results using a dynamic language. It's very nice for the lone coder writing a small program, but...