增量是一个库，它为您提供了一种构建复杂计算的方法，这些计算可以根据输入变化高效地进行更新，灵感来源于Umut Acar等人对自我调整计算的研究。增量在许多应用中都非常有用，包括：构建大型计算（您可能会在电子表格中构建的类型），能够高效响应数据变化；在GUI应用程序中构建视图，能够高效地整合新数据；在保证导出数据与源数据保持同步的情况下计算导出数据，例如过滤或反向映射。您可以在incremental/src/incremental_intf.ml中找到该库的详细文档及其使用方法。您还可以在这篇博客文章和这个视频中找到对该库的非正式介绍。