哈梅尔·内斯特拉 双应用函子。 （英语） Zbl 1464.68064号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 333-353 (2018). 摘要：编写易于阅读的解析器代码是函数编程中monad的经典应用。对于更简单的情况，可以使用Haskell中的Applicative和Alternative类型类，而不是功能更强大的Monad和MonadPlus类。所有解析表达式语法构造（lookaheads除外）的对应部分都可以通过Applicative和Alternative类方法表达。然而，即使对于简单的应用程序，它们的错误处理能力也不能令人满意。本文提出了双应用函子，以增加错误处理的灵活性，而不需要完全的一元幂，以及一组扩展的运算，并研究了这些运算所要实现的数学定律之间的关系。这些操作的许多属性是以前解析表达式语法时已知的语义等价的泛化。关于整个系列，请参见[Zbl 1398.68027号]. MSC公司： 68甲18 函数编程和lambda演算 18A99型 范畴与函子的一般理论 18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子 2012年第68季度 语法和重写系统 关键词：应用函子;单子;解析;错误处理 PDF格式BibTeX公司 XML格式引用 \textit{H.Nestra}，莱克特。注释计算。科学。11187333--353（2018；Zbl 1464.68064） 全文： 内政部