This is in my opinion one of the important things that modern software engineering is missing. Often, the most difficult part of writing software is to keep everything in a consistent state. With self-adjusting computation, it becomes possible to write a program as if the input-data is static, and all changes in the input are propagated by the framework/compiler for free.