Because Unanswered Problems Are Always Hard
Ian Bicking does a good job of trying to answer the question I posed in Static vs. Dynamic: "This last point is a major puzzle -- we believe that static type checking prevents bugs, and yet a dynamically-typed language produces very good results anyway."
I like the way he thinks. Perhaps we'll be able to sit down and talk about these kinds of things, or even do an openspace, at Pycon.