Incremental – A library for incremental computations
摘要
Incremental 是一个支持构建复杂计算的库，这些计算能在输入变化时高效更新，灵感来源于 Umut Acar 等人的自调整计算工作。它可用于构建大型计算（如电子表格）、GUI 视图高效更新新数据，以及保证派生数据与源数据同步（如过滤或反转映射）。详细文档见 incremental/src/incremental intf.ml，还提供了博客文章和视频作为非正式介绍。
荐读理由
Incremental 库直接给出自调整计算框架，能在输入变化时只重算受影响部分，迁移到需要高效反应式更新的数据管道或模型服务项目里可直接抄配置和模式
原文
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 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 incremental/src/incremental_intf.ml. You can also find an informal introduction to the library in this blog post and this video.
这条对你有帮助吗？