The author leaves out what to me is the most compelling argument against static types: it is somewhat at odds with interactive development with a running system, as seen in smalltalk and lisp.
Now, not a lot of developers are really doing this. But it's still a good reason for those who are.