I think a lot of the research around AOP was doing all this stuff, but with static checking. Which gets less trivial pretty quickly, and the distinctions become necessary.
So this is a fair point. With the dynamic / runtime variety it is not an issue. If you really needed the static variety (which is fair if you have a billion points hooked), I think that's a tiny subset of a more generalized problem about a language's static-analyzability, which matters in many other contexts anyway, like in-editor linting.
Comments
I think a lot of the research around AOP was doing all this stuff, but with static checking. Which gets less trivial pretty quickly, and the distinctions become necessary.
But I agree in spirit.
So this is a fair point. With the dynamic / runtime variety it is not an issue. If you really needed the static variety (which is fair if you have a billion points hooked), I think that's a tiny subset of a more generalized problem about a language's static-analyzability, which matters in many other contexts anyway, like in-editor linting.