> Alan Kay's distaste for (static) types

Citation needed.

TFA quotes him saying almost the opposite:

> (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.)