3 ms·
Types make it much, much easier to write useful refactoring tools, and to verify that the tools did the right thing.
by twblalock 8y ago
Types make it much, much easier to write useful refactoring tools, and to verify that the tools did the right thing.