Regardless of his experience in software development, if his opinion is informed by the type systems of C, C++ and Java, then it must be considered the opinion of a novice when it comes to type systems.
Did you realize the article was written in 2003? Sure, SML , Haskell and some other somewhat powerful type systems did exist at that point, but they were limited to academia and pretty much not used at all outside that.
