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.