Refactoring from a :user/name String to a :user/names Array is going to be manual in both static and dynamic languages until Github Copilot gets a lot better. All the compiler or Spec can do is show you the places in your code where you'll need to make updates.
More precisely, it can show you "all" the places where I have to rework. And, since it is very likely that other pieces of the software will need to be change, it's crucial that is does it recursively.
The compiler can do that ; I'm not aware of how spec could do that.
Framing it as "all the compiler can do" us a bit weird - that's _exactly_ the thing I need.
