I will say that immutability helps a lot. Clojure is dynamic but immutable-oriented, and refactoring with deferentially transparent S-expressions is a delight— + you don’t need type system for this.