You missed &quot;automated&quot; in &quot;automated refactorings&quot;. This is what I&#x27;m talking about.<p>Without types, IDE&#x27;s can&#x27;t perform automated refactorings: you need to supervise them and make sure the IDE didn&#x27;t break code.<p>This can&#x27;t happen with static types.