Reading the latest article, something about recomputing only "fresh" values really reminds me of staging interpreters, which are polymorphic on the state of the code they're interpreting. Maybe there's some inspiration to be found there? https://namin.seas.harvard.edu/publications/collapsing-towers-interpreters