[mccoyb]

Is that really true? Can't you track invalidations via a dependency graph?

Right, as you said, you'd have to recompile dependents.

[adgjlsfhk1]

That's what Julia does. It works pretty well.