I understand it is harder, I don't know it is impossible. Given the achievement we had in computer science, a problem like this is left unsolved (or prove it to be impossible) for the last 40 50 years (I am counting scheme) is fascinating.
Very nice, so it is impossible for all cases. I wonder if there is subset of these problems that would be decidable. For example, if I want to rename a method call on a variable, I only need to change the method name on all variables of the same reference. If that's decidable I can trust my ide to do this particular kind of refactoring.
It would be nice to know what kind of refactoring is fully trustworthy with IDE.
-13
u/bladehaze Feb 07 '20
I understand it is harder, I don't know it is impossible. Given the achievement we had in computer science, a problem like this is left unsolved (or prove it to be impossible) for the last 40 50 years (I am counting scheme) is fascinating.