The writer has a good point, but he is also somewhat confused. His argument is not really about the advantages of dynamic typing, but rather those of implicit

The writer has a good point, but he is also somewhat confused. His argument is not really about the advantages of dynamic typing, but rather those of implicit typing, which is a more or less orthogonal concept. Thus, as others have pointed out, Haskell, with its implicit static typing, does not have this problem. Even C++(0x), with the new use of the "auto" keyword, allowing for implicit static typing, would not have the problem. And Python, with its implicit dynamic typing, does not either. But Java, with explicit static typing, does have the problem.