What does Haskell have to do with dynamic typing? It's about as statically typed as they come. He's saying that if we really want a static typing system, maybe Haskell's flexible and powerful type system is the right approach.
It doesn't have anything to do with it. I probably phrased it badly because I was responding to two different paragraphs where Guido was talking about different things. You would be better served following the link to what he wrote and reading that directly.
I did read it, actually. :) That is why I was puzzled; he suggests Haskell as an alternative, and I thought that was a classy response, all things considered.
