Incremental — это библиотека для построения сложных вычислений, которые умеют быстро обновляться при изменении входных данных. Идея основана на работах Умута Акара и его коллег по самонастраивающимся вычислениям. Библиотека пригодится в нескольких сценариях: можно строить большие расчёты (как в электронных таблицах), которые эффективно реагируют на новые данные; собирать представления в GUI-приложениях, подхватывающие свежие данные без перерисовки всего экрана; вычислять производные данные (фильтрацию, обратное отображение) и при этом гарантировать, что они не расходятся с источником.
Подробная документация лежит в файле incremental/src/incremental_intf.ml. Неформальное введение — в блоге и видео, которые авторы упоминают в статье.