×
杰里米·吉本斯

理解环形广告。为了菲尔·沃德勒，在他60岁生日之际。 （英语） Zbl 1343.68058号

林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，132-151（2016）。
摘要：列表理解是一种广泛使用的编程结构，在Haskell和Python等语言中，以及在Microsoft的Language Integrated Query等技术中。它们从列表推广到任意单体，从而在纯函数语言中产生了命令式编程的轻量级习惯用法。当monad具有所谓ringad的附加结构时，对应于“空”和“联合”操作，那么它可以被视为某种集合类型，并且理解符号也可以扩展为合并聚合。Ringad理解表示表示数据库查询的方便符号。仅使用ringad结构并不能很好地解释或有效地实现关系连接；但是，通过允许包含包和索引表环形广告的异构理解，我们也展示了如何适应这些。
关于整个系列，请参见[Zbl 1333.68014号].

引用于4文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68甲15 编程语言理论

传记参考：

菲尔·沃德勒

软件：

github;SETL公司;链接;克莱斯利;GHC公司;清洁
PDF格式BibTeX公司 XML格式引用
\textit{J.Gibbons}，莱克特。注释计算。科学。9600、132--151（2016；Zbl 1343.68058）
全文： 内政部

参考文献：

[1] Backhouse，R.：对Bird-Meertens形式主义的探索。技术报告CS 8810，格罗宁根大学计算机科学系（1988年）。http://www.cs.nott.ac.uk/psarb2/papers/abstract.html探索
[2] Boiten，E.，Hoogendijk，P.：基于强单数和部分函数的数据库演算，1995年3月。提交给DBPL
[3] Boiten，E.，Hoogendijk，P.：嵌套集合和多型性。技术报告96/17，Eindhoven（1996）
[4] 布鲁尔，P.T.：。适用的查询语言。大学计算，英国大学和学院信息系统协会（UCISA）学术计算和信息系统公报（1989）。https://www.academia.edu/2499641/Applicative_Query_Languages网站
[5] Buneman，P.、Navqi，S.、Tannen，V.、Wong，L.：使用集合和复杂对象类型进行编程的原则。西奥。计算。科学。149（1），3-48（1995）·Zbl 0874.68092号 ·doi:10.1016/0304-3975（95）00024-Q
[6] Cooper，E.，Lindley，S.，Yallop，J.：链接：没有层次的网络编程。作者：de Boer，F.S.，Bonsangue，M.M.，Graf，S.，de Roever，W.-P.（编辑）FMCO 2006。LNCS，第4709卷，第266-296页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-74792-5_12
[7] Fegaras，L.，Maier，D.：使用有效的演算优化对象查询。ACM事务处理。数据库系统。25(4), 457–516 (2000). doi:10.1145/377674.3776676·Zbl 1136.68380号 ·doi:10.1145/377674.3776676
[8] Fernandez，M.，Simeon，J.，Wadler，P.：半单体数据。摘自：数据库理论国际会议，第263–300页（2001年）·Zbl 1047.68571号
[9] Maarten，M.：Tupling和mutumorphisms。Squiggolist 1（4），81–82（1990）
[10] Fujii，S.、Katsumata，S.和MellièS，P.-A.：走向分级单体的形式理论。在：软件科学和计算结构基础。计算机科学课堂讲稿。斯普林格（2016年，即将上映）·Zbl 1474.18011号 ·doi:10.1007/978-3-662-49630-5_30
[11] GHC 5.0。格拉斯哥哈斯克尔编译器用户指南，5.00版，2001年4月。https://downloads.haskell.org/ghc/5.00/docs/set/book-users-guide.html
[12] GHC 7.10。格拉斯哥-哈斯克尔编译器用户指南，7.10版，2015年7月。https://downloads.haskell.org/ghc/7.10.1/docs/html/users_guide/
[13] Giorgidze，G.，Grust，T.，Schweinsberg，N.，Weijers，J.：回归单子综合。摘自：Haskell研讨会，第13-22页（2011年）·数字对象标识代码：10.1145/2034675.2034678
[14] Grust，T.：理解疑问。康斯坦茨大学博士论文（1999年）
[15] Haskell 2010年。Haskell 2010年语言报告，2010年4月。https://www.askell.org/onlinereport/haskell2010年/
[16] Henglein，F.，Larsen，K.F.：具有基于区分的连接、符号笛卡尔积的通用多集编程。高-订购符号。计算。23(3), 337–370 (2010). doi:10.1007/s10990-011-9078-8·Zbl 1232.68028号 ·doi:10.1007/s10990-011-9078-8
[17] 胜胜：参数效应单子和效应系统的语义。《编程语言原理》，第633-645页（2014）·Zbl 1284.68133号 ·doi:10.1145/2535838.2535846
[18] Kiselyov，O.：《MonadPlus法律》，2015年1月。http://okmij.org/ftp/Compulation/monads.html#monadplus
[19] Luposchainsky，D.：MonadFail提案，2015年6月。https://github.com/quchen/articles/blob/master/monad_fail.md
[20] Meijer，E.：LINQ的世界。Commun公司。ACM 54（10），45–51（2011）·doi:10.1145/2001269.2001285
[21] Milius，S.、Pattinson，D.、Schröder，L.：通用跟踪语义和分级单体。收录于：Moss，L.，Sobocinski，P.，（eds.）第六届计算机科学代数和余代数国际会议（CALCO 2015），第251-266页（2015）·Zbl 1366.68211号
[22] Moggi，E.：计算和单数的概念。Inf.计算。93(1), 55–92 (1991) ·Zbl 0723.68073号 ·doi:10.1016/0890-5401（91）90052-4
[23] Nikhil，R.S.：函数数据库编程语言中更新的语义。收录于：Bancilhon，F.，Buneman，P.（eds.）《数据库编程语言进展》（DBPL-11987），第403-421页。ACM出版社/Addison-Wesley（1990）
[24] Orchard，D.，Yoshida，N.：效果作为会话，会话作为效果。In:编程语言原理（2016）·Zbl 1347.68055号 ·数字对象标识代码：10.1145/2837614.2837634
[25] Orchard，D.，Petricek，T.，Mycroft，A.：单子的语义结合，效果（2014）。arXiv公司：1401.5391·Zbl 1345.68069号
[26] Petricek，T.：平行单子理解的乐趣。《Monad Reader》（18），（2011年）。https://themonadaler.wordpress.com/2011/07/05/issue-18/
[27] Peyton Jones，S.：函数式编程语言的实现。新泽西州普伦蒂斯·霍尔（1987）·Zbl 0712.68017号
[28] Plasmeijer，R.，van Eekelen，M.：并发清洁语言报告（1.0版）。奈梅亨大学技术报告（1995年）。ftp://ftp.science.ru.nl/pub/Clean/old/Clean10/doc/refman.ps.gz
[29] Poulovassilis，A.：FDL：功能数据模型和功能计算模型的集成。载于：英国全国数据库会议，第215–236页（1988年）
[30] Schwartz，J.T.，Dewar，R.B.K.，Dubinsky，E.，Schonberg，E.：用集合编程：SETL简介。施普林格，纽约（1986）·Zbl 0604.68001号 ·doi:10.1007/978-1-4613-9575-1
[31] Schwartz，J.T.：关于编程：关于SETL项目的中期报告。技术报告，纽约大学数学科学学院，1975年6月·兹伯利0311.68012
[32] Suciu，D.：复杂对象的不动点和有界不动点。技术报告MS-CIS-93-32，宾夕法尼亚大学（1993a）·Zbl 0903.68058号
[33] Suciu，D.：使用用户定义函数对数据库进行查询。宾夕法尼亚大学技术报告MS-CIS-93-62（1993b）
[34] 铃木，K.，Kiselyov，O.，Kameyama，Y.：最后，安全扩展和高效的语言集成查询。In：部分评估和程序操作（2016）·doi:10.1145/2847538.2847542
[35] Trinder，P.：理解：DBPL的查询符号。In:数据库编程语言（1991）
[36] Trinder，P.，Wadler，P.：改进列表理解数据库查询。在：TENCON 1989：第四届IEEE地区10国际会议。IEEE（1989）·doi:10.1109/TENCON.1989.176921
[37] 乌斯塔鲁：关于MonadPlus和不确定性的套曲。J.逻辑代数。方法计划（2015年出版）。为纪念何塞·努诺·奥利维拉60岁生日发行特别版。HOpPE中的扩展摘要
[38] Wadler，P.：关于单声道和环形声道的注释。格拉斯哥大学CS系内部文件，1990年9月
[39] Wadler，P.：理解单子。数学。结构。计算。科学。2461-493（1992年a）·Zbl 0798.68040号 ·doi:10.1017/S0960129500001560
[40] Wadler，P.：函数编程的Monads。收录：Broy，M.（编辑）Marktoberdorf程序设计微积分暑期学校。北约ASI系列F：计算机和系统科学，第118卷。斯普林格，海德堡（1992b）。另见：Jeuring，J.，Meijer，E.（编辑）《高级函数编程》。LNCS，第925卷。斯普林格（1995）
[41] Wadler，P.：零加号的单子定律。发布到Haskell邮件列表，1997年5月
[42] Wadler，P.：单子和环状。个人通信，2011年8月
[43] Wadler，P.，Jones，S.P.：综合理解：具有“order by”和“group by”的理解。摘自：Haskell研讨会，第61-72页（2007年）
[44] Watt，D.，Trinder，P.：走向体积类型理论。FIDE技术报告91/26，格拉斯哥大学，1991年7月
[45] Williams，T.：地图理解，2014年6月。http://www.timphilipwilliams.com/posts/2014-06-05-map-comprehensions.html
[46] Wong，L.：查询嵌套集合。宾夕法尼亚大学博士论文（1994年）
[47] Wong，L.：Kleisli，一个功能查询系统。J.功能。程序。10(1), 19–56 (2000) ·doi:10.1017/S0956796899003585
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。