Comment by Simon Peyton Jones in an interview:
People often dislike static type systems because they’ve only met weak ones. A weak or not very expressive type system gets in your way all the time. It prevents you from writing functions you want to write that you know are fine. … The solution is not to abandon the type system but to make the type system more expressive.
In particular, he mentions Haskell’s polymorphic types and type inference as ways to make strong static typing convenient to use.