Re:The Second Edition of “Refactoring”
by twblalock on Saturday December 01, 2018 @05:17PM
(#18579333)
Types make it much, much easier to write useful refactoring tools, and to verify that the tools did the right thing.
Re:The Second Edition of “Refactoring”
by exceptione on Saturday December 01, 2018 @05:50PM
(#18579484)
In theory it might be non-essential, but in practice it might mean that refactorings might be unfeasable or too costly in non-typed codebases.
The more I think about it, the less it makes sense to bother about refactoring when you did not bother about type level guarantees in the first place.
Re:The Second Edition of “Refactoring”
by BurningFrog on Saturday December 01, 2018 @04:39PM
(#18579128)
I'm not conflating anything. Just stating a fact.
Done by a tool or not, the refactoring in principle remains the same. The tool merely automates the transformations which defines the refactoring.
And in that sense types isn’t really essential to refactoring at all.