Jane Street: Incremental

Incrementalは、Umut Acarらの自己調整計算の研究に触発された、入力の変化に効率的に対応できる複雑な計算を構築するためのライブラリです。 Incrementalは、以下のような多くのアプリケーションで役立ちます。 * 変化するデータに効率的に対応できる大規模な計算（スプレッドシートに組み込むようなもの）を構築する。 * GUIアプリケーションで新しいデータを効率的に組み込めるビューを構築する。 * 派生データがソースデータと同期したままであることを保証しながら派生データを計算する。例えば、マッピングのフィルタリングや逆転など。 ライブラリの詳細なドキュメントと使用方法については、incremental/src/incremental_intf.mlをご覧ください。また、このライブラリの非公式な紹介は、このブログ記事やこのビデオでも見つけることができます。