package store

  1. Overview
  2. Docs
Snapshottable data structures

Install

Dune Dependency

Authors

Maintainers

Sources

store-v0.1.tar.bz2
sha256=8891cc0b10774f3d048e2a213ea623306386d901034813d55feb082751ce1b4c
sha512=312d436d06deda5d60bd88daa04955c1a4bf4caf9f3e8348a4d347251ee2f8aba9c988f956a2280f7662f0cf65eb3a59248155fc087c96e344429f0dc4d8e466

README.md.html

Store: Snapshottable Data Structures

Store is a library to add snapshotting capabilities to imperative data structure with a 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
OCaml

Innovation. Community. Security.