Hacker News Reader

Java is not a good type system at all - Haskell is.

That's what the OC said.

Ah my bad. I misread that.

They listed those three as examples of languages that don't take good advantage of having static typing.