×
塔尔莫乌斯塔卢

关于MonadPlus和非确定性的套曲。 （英文） Zbl 1355.68041号

J.日志。阿尔盖布。方法计划。 第二部分第5期85号，1086-1094（2016）.
小结：在Haskell社区中，对于MonadPlus类型构造函数类的定律应该是什么存在争议。我们建议没有单一的通用正确答案，但有一个通用方法。有限不确定性的重要概念类被我们称为半群的单子和幺半群的单子捕获，也被半群和幺半族的不同特化的单子捕捉。其中一些单子的特殊化也是异国情调和有趣的。

引用于三文件

MSC公司：

68甲18 函数编程和lambda演算
18个C20 单体的Eilenberg-Moore和Kleisli构造
20M50型 半群与同调代数和范畴理论的联系

关键词：

单子；代数运算；半群；不确定性
PDF格式BibTeX公司 XML格式引用
\textit{T.Uustalu}，J.Log。阿尔盖布。方法计划。85，第5号，第2部分，1086--1094（2016；Zbl 1355.68041）
全文： 内政部

参考文献：

[1] 库曼斯，D。；雅各布斯，B.，《标量、单数和范畴》（Heunen，C.；Sadrzadeh，M.；Grefenstette，E.，《量子物理和语言学：构图语篇》（2013），牛津大学出版社），184-216·Zbl 1342.18007号
[2] Goncharov，S。；施罗德，L。；Mossakowski，T.，《Kleene monads:在一般效应框架下处理迭代》，（Kurz，a.；Lenisa，M.；Tarlecki，a.，第三届国际计算机科学代数与代数会议论文集。第三届国际计算机科学代数与代数会议论文集，CALCO 2009。程序。第三届计算机科学代数和余代数国际会议。程序。第三届计算机科学代数和余代数国际会议，CALCO 2009，Lect。计算中的注释。科学。，第5728卷（2009），施普林格），18-33·Zbl 1239.68024号
[3] Haskell社区，Control/Monad，基于-4.8.0.0的Haddock文档
[4] Haskell社区，Additive monads（MonadPlus），HaskellWikibook，2015年最新更新
[5] Haskell社区、MonadPlus、HaskellWiki，上次更新时间为2008年
[6] Gibbons，J.，《理解环形广告》，（Lindley，S.；McBride，C.；Trinder，P.；Sannella，D.，《可以改变世界的成功列表》，《计算科学评论》，第9600卷（2016），Springer），132-151·Zbl 1343.68058号
[7] 戈兰，J.S.，《半环及其应用》（1999），克鲁沃学院。出版物·Zbl 0947.16034号
[8] Hinze，R.，《推导回溯单子变压器》，（第五届ACM SIGPLAN国际功能编程会议议事录。第五届AC M SIGPLA国际功能编程大会议事录，ICFP’00（2000），ACM），186-197·Zbl 1321.68195号
[9] Kelly，G.M.，《松弛代数和分配律的相干定理》，（Kelly和G.M，悉尼范畴理论研讨会1972/1973，Proc.of Sydney Category Theory Seminar 1972/1973）。程序。1972/1973年悉尼类别理论研讨会，Lect。数学笔记。，第420卷（1974），施普林格），282-375·Zbl 0334.18014号
[10] Laplaza，M.，分配的一致性，（Kelly，G.M.；Laplasa，M.；Lewis，G.；Mac Lane，S.，《类别的一致性》，《数学中的Lect.注释》，第281卷（1972），Springer），29-72·Zbl 0244.18010号
[11] Manes，E。；Murry，P.，Monad作文I：一般结构和递归分配律，理论应用。类别。，18, 7, 172-208 (2007) ·Zbl 1131.18003号
[13] Plotkin，G。；Power，J.，《代数运算的语义》（Brookes，S。；Mislove，M.，程序。第17届编程语义学数学基础大会。程序。第17届编程语义数学基础大会，MFPS XVII。程序。第17届编程语义学数学基础大会。程序。第17届编程语义数学基础大会，MFPS XVII，Electron。Theor中的注释。计算。科学。，第45卷（2001），爱思唯尔），332-345·Zbl 1260.68220号
[14] 里瓦斯，E。；Jaskelioff，M。；Schrijvers，T.，《从幺半群到近半环：MonadPlus和Alternative的本质》，（第17届国际声明性编程原理与实践研讨会论文集，第17届世界声明性编程原则与实践研讨会文献集论文集，PPDP’15（2015），ACM出版社），196-207
[15] 谢夫林，L.N。；Volkov，M.V.，半群的恒等式，Sov。数学。，29, 11, 1-64 (1985) ·兹比尔062920029
[16] Trinder，P.，《理解，DBPL的查询符号》，（Kanellakis，P.C.；Schmidt，J.W.，第三国际Wksh.数据库编程语言：批量类型和持久数据的程序。第三国际Wksh.关于数据库编程语言的程序：批量类型与持久数据，DBPL'91（1991），Morgan Kaufmann），55-68
[17] Wadler，P.，《单声道和环形声道注释》（1990年），计算机系。科学：计算机系。科学。格拉斯哥大学内部文件
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。