[kashif]

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

[nesarkvechnep]

That's what the OC said.

[kashif]

Ah my bad. I misread that.

[SAI_Peregrinus]

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