[ubernostrum]

Without types, IDE's can't perform automated refactorings

This is your obligatory reminder that the entire concept of automated refactoring was first developed in a dynamically-typed language.