Most common refactoring can be done in any language. If you have types, that really just means the compiler is testing many of your assertions.