Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/janestreet/incremental

A library for incremental computations
https://github.com/janestreet/incremental

Last synced: 11 days ago
JSON representation

A library for incremental computations

Awesome Lists containing this project

README

        

Incremental is a library that gives you a way of building complex
computations that can update efficiently in response to their inputs
changing, inspired by the work of [[http://www.umut-acar.org/self-adjusting-computation][Umut Acar et. al.]] on self-adjusting
computations. Incremental can be useful in a number of applications,
including:

- Building large calculations (of the kind you might build into a
spreadsheet) that can react efficiently to changing data.
- Constructing views in GUI applications that can incorporate new data
efficiently.
- Computing derived data while guaranteeing that the derived data
stays in sync with the source data, for instance filtering or
inversing a mapping.

You can find detailed documentation of the library and how to use
it in [[https://github.com/janestreet/incremental/blob/master/src/incremental_intf.ml][incremental/src/incremental_intf.ml]]. You can also find an
informal introduction to the library in this [[https://blog.janestreet.com/introducing-incremental][blog post]]
and [this video](https://www.youtube.com/watch?v=G6a5G5i4gQU).