I feel like to some extent the problem here is the dynamic linking model that is almost universally used. If programs were designed from the perspective of the

I feel like to some extent the problem here is the dynamic linking model that is almost universally used. If programs were designed from the perspective of the linker, then the linker could maintain a graph of function dependencies and have a cascading invalidation upon update. It is hard to retrofit this onto a project that is already a standard make based project.