You messed with your third link.
I've read it and I'd say that Steve Yeggie is making generalizations about static type systems using greatest common divisor of them all: Java.
He attributes the need for patterns to OCaml type system, where they aren't needed, for example. Or assumes that you need all interfaces up front.
Both those assumptions are not true!
I think SY is good at jealous humor like his post about "academy found an software engineer who cares about Haskell". That's his natural domain. I believe everything he writes is homorous and jealous, that way I don't have to think he is just plain stupid.