~ashton314/adapton

Implementation and exploration of micro- and miniAdapton
Rest of the macros implemented; bug somewhere causing infinite loop
Add some helper macros
Begin work on miniAdapton interface

refs

main
browse  log 

clone

read-only
https://git.sr.ht/~ashton314/adapton
read/write
git@git.sr.ht:~ashton314/adapton

You can also use your local clone with git send-email.

Implementation of micro- and miniAdapton.

Source at ~ashton314/adapton on SourceHut.

Mirror at ashton314/adapton on GitHub.

Synopsis

Walk-through and implementation of the miniAdapton paper.

Description

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.

See also

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.