[thesz]

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.