`Store` is a library to add snapshotting capabilities to imperative data
structures with low runtime cost and safe, user-friendly APIs. It is designed
for (and works best with) applications that exploit backtracking algorithms,
such as SMT solvers, type-checking and type-inference algorithms.
Currently, `Store` only provides snapshottable references; support for custom
built-in data structures that benefit from non-backtracked operations (such as
resizing a dynamic array) is planned.
The design of the Store library is described in the ICFP'24 paper:
Clément Allain, Basile Clément, Alexandre Moine, and Gabriel Scherer. 2024.
Snapshottable Stores.
Proc. ACM Program. Lang. 8, ICFP, Article 248 (August 2024), 32 pages.
https://doi.org/10.1145/3674637
Build Time
2026-10-16 13:12:47 GMT
Size
69.71 KB
5f8ab406488c8ffbd3d2d4e3ba6145b9
License
MIT AND LGPL-2.1-only AND LGPL-2.1-or-later AND LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
