I find it a little worrying that "Must run every line of code to find all the errors" made the list. More worrying was the fact that the author thought having c

I find it a little worrying that "Must run every line of code to find all the errors" made the list. More worrying was the fact that the author thought having compiler-enforced type safety would relax that requirement. Giving the benefit of the doubt, maybe by find all errors, he meant "find all type errors except for anytime anyone does something dynamic or a cast". I would hope we all recognize by now that even running all lines of code (100% test coverage) is insufficient to find all errors (especially semantic ones). In any language.