Lens是一个执行不可变记录修改的函数：它复制记录修改其内容的一部分。镜头是一个图书馆，允许您组合镜头，以获得更复杂的修改。
我正在寻找定义反向抽象的正确术语。一些比较两个对象并返回它们之间差异的函数。这些功能也产生了一个系统。每个修改可以与细粒度描述“记录内的字段C内的字段B内的字段A”或者记录内的粗“字段C”同时表示。因此，您可以将匹配修改模式化为所需的准确度。
我需要编写代码来比较记录并对其中的修改做出反应。我想避免重新发明轮子。我试图谷歌倒退镜头，但淹没在不相关的输出。
答案 0 :(得分：2)
您可以参考差分同步算法。它是一种基于DIFF和PATCH操作的算法。 DIFF部分可能对您有用。