Adapton's idea is based on self-adjusting computation [1], which is considered pretty mature [2]. In the field there are also approaches like incremental lambd

Adapton's idea is based on self-adjusting computation [1], which is considered pretty mature [2]. In the field there are also approaches like incremental lambda calculus [3] and differential dataflow [4]. Both of them focuses on propagating differences (changes) instead of invalidating dirty nodes in a dependency graph. [1] https://www.semanticscholar.org/paper/Self-adjusting-computation%3A-(an-overview)-Acar/be94c5051438209816397be214ee8c1bdda94165 https://www.semanticscholar.org/paper/Self-adjusting-computa... [2] https://web.archive.org/web/20170628103354/lambda-the-ultimate.org/node/5115 https://web.archive.org/web/20170628103354/lambda-the-ultima... [3] https://www.semanticscholar.org/paper/A-theory-of-changes-for-higher-order-languages%3A-by-Cai-Giarrusso/2b844dfb491ad5b7e3eba6d81f0eda2de2bc118c https://www.semanticscholar.org/paper/A-theory-of-changes-fo... [4] https://www.semanticscholar.org/paper/Differential-Dataflow-McSherry-Murray/f5df61effe8047eb9ea1702cfcc268dbba678567 https://www.semanticscholar.org/paper/Differential-Dataflow-...