分析器组合器总数分析器组合器总数 尼尔斯·安德斯·丹尼尔森 第15届ACM SIGPLAN国际会议记录函数编程会议(2010年ICFP).©ACM,2010年。这是作者对工作。经ACM许可发布于此个人使用。不适用于再分配。决定性的版本发表于ICFP’10,http://doi.acm.org/10.1145/1863543.1863585.[pdf格式,突出显示的代码,带代码的tarball,Git存储库(包括最近的发展,与tarball不匹配)] 摘要一个一元语法分析器组合子库,它保证解析虽然仍然允许多种形式的左递归,但描述。该库的界面与其他许多库的界面类似解析器组合子库,有两个重要区别:一个是接口明确指定了构造的哪些部分解析器可以是无限的,哪些部分必须是有限的,使用从属类型和归纳与共归纳的结合;和另一个原因是解析器类型的信息量非常大。 该库附带了一个形式语义,使用它可以进行证明解析器组合符尽可能具有表达能力。这个实现由机器检查的正确性证明支持。 勘误表保罗·利克曼的硕士论文是在牛津而不是剑桥完成的。 尼尔斯·安德斯·丹尼尔森 上次更新时间:2013年5月13日星期一12:22:06 UTC。 |