Alan Kay's view on type systems

In here there's a very interesting correspondence with Alan Kay about OOP and his definition of it. Amongst other things, he wrote a short sentence that describes his view in the ongoing debate of static vs. dynamic typing.

Here's the exact quote:

"I'm not against types, but I don't know of any type systems that aren't a complete pain, so I still like dynamic typing"

I couldn't agree more. I don't recall even once that static typing actually helped me in designing software, I can recall numerous times that it just stood in the way, without anything to gain other then detecting errors in compile time, but only the kind of errors that any developer (junior or experienced) must be able to detect easily.