程序设计语言领域顶级会议ICFP'25近日公布论文录用名单，程序设计语言研究室一篇论文《Effectful Lenses: There and Back with Different Monads》被该会议录用。

标题： Effectful Lenses: There and Back with Different Monads

作者： Ruifeng Xie, Tom Schrijvers, Zhenjiang Hu

摘要： 双向转换（Bidirectional transformations, BXs）是数据同步中广泛采用的一种方法，通常基于两个函数：一个从源到视图，一个返回。传统上，这些函数不能有副作用。虽然有少数框架试图通过向透镜（lenses）中引入单子（monads）来解除这一限制，但它们仍然非常有限，例如，只允许在反向转换中产生副作用。在本文中，我们提出了一个更通用的“带副作用的透镜”（effectful lenses）框架。我们的带副作用的透镜可以在其两个方向上具有不同的副作用，且这些副作用无需是可撤销的。我们还定义了往返关系（round-trip relations），并用它们来将两个众所周知的往返属性推广到带副作用的透镜。