By the way if you read his blog you'll also find interesting stuff on this subject and others (like formal proofs)
I am not saying Hillel or any static typing proponents are wrong. Having worked on program analysis/verification and formal methods, I am saying we need to have a broader and more permissive perspective. Instead of saying "static typing is the end all", it may be better to understand why we operate the way we do and be pragmatic about what it takes to get from where we are to where we want to be.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.