<i>Without types, IDE&#x27;s can&#x27;t perform automated refactorings</i><p>This is your obligatory reminder that the entire concept of automated refactoring was first developed in a dynamically-typed language.