萨姆·林德利;菲利普·沃德勒;杰里米·亚洛普 成语是不经意的，箭头是一丝不苟的，单子是乱七八糟的。 （英语） 兹比尔1291.68168 Capretta，Venanzio（编辑）等人，《数学结构函数编程第二次研讨会论文集》（MSFP 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第5期，97-117（2011）。 小结：我们重新审视了三个计算概念之间的联系：莫吉的单子，休斯的箭头，麦克布莱德和帕特森的成语（也称为应用函子）。我们证明了习语等价于满足类型同构的箭头（A\rightsquigarrow B\simeq 1\rightsquarrow（A\to B）），单子等价于满足类同构的箭（A\Rightsquagrow B\semeq A\right squarrov（1\to B）\）。此外，习惯用法嵌入箭头，箭头嵌入单子。关于整个系列，请参见[Zbl 1279.68008号]. 引用于1审查引用于7文件 MSC公司： 2005年第68季度 计算模型（图灵机等）（MSC2010） 18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：应用函子;成语;箭头;单子 PDF格式BibTeX公司 XML格式引用 \textit{S.Lindley}等人，《电子》。注释Theor。计算。科学。229，第5号，97-117（2011；Zbl 1291.68168） 全文： 内政部 参考文献： [1] Hughes，J.，《将单子概括为箭头》，《科学》。计算的。程序。，37, 1-3, 67-111 (2000) ·Zbl 0954.68034号 [2] Hughes，J.，《带箭头的编程》，（Vene，V.；Uustalu，T.，《第五国际高级函数编程暑期学校的修订讲座》，AFP 2004（Tartu，2004年8月）。第五届国际暑期学校高级函数编程修订讲座。《第五届国际高级函数编程暑期学校的修订讲座》，AFP 2004（Tartu，2004年8月），《计算机科学讲义》，3622（2005），Springer），73-129·Zbl 1158.68355号 [3] IETF、，传输控制协议http://tools.ietf.org/html/rfc793; IETF、，传输控制协议http://tools.ietf.org/html/rfc793 [4] Lindley，S.、P.Wadler和J.Yallop，箭头演算; Lindley，S.、P.Wadler和J.Yallop，箭头演算·Zbl 1185.68199号 [5] Mac Lane，S.，《工作数学家的类别》，《数学研究生教材》，5（1998），斯普林格出版社·Zbl 0906.18001号 [6] 麦克布赖德，C。；Paterson，R.，《带效果的应用程序设计》，《函数》杂志。程序。，18, 1, 1-13 (2008) ·Zbl 1128.68020号 [7] Moggi，E.，《计算lambda-calculus和monads》，（第四年第4期IEEE计算机科学中的逻辑交响乐会议录，第四年IEEE计算机科技中的逻辑交流会录，LICS’89（加利福尼亚州太平洋格罗夫，1989年6月）（1989），IEEE CS出版社），14-23·Zbl 0716.03007号 [8] Moggi，E.，《计算和单数概念》，Inform。和计算。，93, 1, 55-92 (1991) ·Zbl 0723.68073号 [9] Paterson，R.，《箭头的新符号》，（第六届ACM SIGPLAN国际函数编程会议议事录。第六届AC M SIGPLA国际函数编程大会议事录，ICFP？01（佛罗伦萨，2001年9月）（2001），ACM出版社），229-240·Zbl 1323.68147号 [10] Paterson，R.，《箭头与计算》（Gibbons，J.；de Moor，O.，《编程的乐趣》，《编程之趣》，计算基石（2003），帕尔格雷夫），201-222 [11] Sabry，A。；Felleisen，M.，《关于连续通过式程序的推理》，LISP和Symb。计算。，6, 3-4, 287-358 (1993) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。