> The biggest downside was the lack of automated refactoring tools That's what a typechecker gives you–an automated enforcement mechanism for ruling out certa

> The biggest downside was the lack of automated refactoring tools That's what a typechecker gives you–an automated enforcement mechanism for ruling out certain errors during refactoring.