康纳·麦克布莱德;罗斯·帕特森 具有效果的应用程序。 （英语） Zbl 1128.68020号 J.功能。程序。 18，第1期，第1-13页（2008年）. 摘要：我们介绍了应用函子——一种有效编程的应用风格的抽象特征，比单子弱，因此更为广泛。事实上，正是这种编程模式的无处不在吸引了我们进行抽象。我们回顾了本文中的步骤，通过各种示例介绍了应用程序模式，然后对其进行抽象以定义applicative类型类，并引入了一个括号符号，该符号解释Applicativefunctor习惯用法中的正常应用程序语法。此外，我们还研究了应用函子的性质及其支持的泛型运算。最后，我们确定了应用函子的范畴结构，并考察了它们与Monad和Arrow的关系。 引用于2评论引用于54文件 MSC公司： 68甲18 函数编程和lambda演算 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{C.McBride}和\textit{R.Paterson}，J.Funct。程序。18，编号1，1-13（2008；Zbl 1128.68020） 全文： 内政部 参考文献： [1] Peyton Jones，Haskell 98语言与图书馆：修订报告。(2003) ·Zbl 1067.68041号 [2] Meertens，通用编程研讨会（WGP'98）。(1998) [3] 内政部：10.1017/S095679688003050·Zbl 0917.68039号 ·doi:10.1017/S0956796898003050 [4] 内政部：10.1016/S0167-6423（99）00023-4·Zbl 0954.68034号 ·doi:10.1016/S0167-6423（99）00023-4 [5] 内政部：10.1017/S0960129597002375·Zbl 0897.18002号 ·doi:10.1017/S0960129597002375 [6] 巴尔，拓扑，三元组和理论。(1984) [7] 内政部：10.1017/S0956796804005143·Zbl 1063.68028号 ·doi:10.1017/S0956796804005143 [8] Wadler，函数编程语言和计算机体系结构。(1985) [9] Swierstra，高级函数编程。(1996) [10] 内政部：10.1017/S0956796800003658·Zbl 0971.68022号 ·doi:10.1017/S0956796800003658 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。