程序设计语言领域顶级会议POPL'25近日公布论文录用名单，程序设计语言研究室一篇论文《Biparsers: Exact Printing for Data Synchronisation》被该会议录用。

标题：Biparsers: Exact Printing for Data Synchronisation

作者：谢睿峰、Tom Schrijvers、胡振江

摘要：

解析器（parser）与打印器（printer）在不同序列化格式间的数据同步中至关重要。由于二者紧密相关，大量研究致力于从单一定义中推导出两者的实现。然而，现有研究在扩展支持“精确打印”（exact-printing，即通过解析的数据精确恢复原始源文本）时面临挑战。本文提出一种新方法，将解析-打印器对视为同步输入文本字符串与数据的机制，并将其形式化为双向程序（lens）。我们提出了首个能实现精确打印的、允许解析器为非单射函数的双向解析框架，提供了常见模式的组合子（combinator）库，并实现了一个JSON子集和一个YAML子集的双向解析器用以验证该框架的有效性。