Implementation of micro- and miniAdapton.
Source at ~ashton314/adapton on SourceHut.
Mirror at ashton314/adapton on GitHub.
Walk-through and implementation of the miniAdapton paper.
Adapton is a framework for incremental computation: this is for times when you need to re-run a calculation with slightly different inputs whilst minimizing the amount of re-computation. Memoization + ability to handle mutation.
micro- and miniAdapton form a core and an augmented but still small implementation of the Adapton framework, respectively. Very much in the same vein as microKanren.
Fisher, Dakota, Matthew A. Hammer, William Byrd, and Matthew Might. “MiniAdapton: A Minimal Implementation of Incremental Computation in Scheme.” arXiv, September 17, 2016. https://doi.org/10.48550/arXiv.1609.05337.