But isn't it problematic that it compared real-world average unit tests with the best-available type system?
He could only compare one of the best possible environments for writing dynamically typed code and unit tests to one of the best possible environments for writing statically typed code.