undefined | Better HN

0 pointsincepted10y ago0 comments

You missed "automated" in "automated refactorings". This is what I'm talking about.

Without types, IDE's can't perform automated refactorings: you need to supervise them and make sure the IDE didn't break code.

This can't happen with static types.

0 comments

It makes manual refactoring easier too in the sense that you now have a tool that can tell you what you broke and how to fix it.

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.

j / k navigate · click thread line to collapse

0 pointsincepted10y ago0 comments

You missed "automated" in "automated refactorings". This is what I'm talking about.

Without types, IDE's can't perform automated refactorings: you need to supervise them and make sure the IDE didn't break code.

This can't happen with static types.

It makes manual refactoring easier too in the sense that you now have a tool that can tell you what you broke and how to fix it.

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.

j / k navigate · click thread line to collapse