多米尼克·乌节 容器函子和comonad的复杂性边界。 （英语） Zbl 1394.68240号 Inf.计算。 261，第1部分，144-158（2018）. 总结：M.Abbott先生等人的容器概念[Lect.Notes Compute.Sci.2620，23–38（2003；Zbl 1029.68096号); 西奥。计算。科学。342，第1期，第3–27页（2005年；Zbl 1077.68015号)]描述参数化数据类型的子集，这些数据类型可以由一组形状和每个形状的一组位置来描述。这捕获了常见的数据类型，如元组、列表、树、数组和图。在给定附加信息的情况下，可以为容器导出各种有用的分类结构。例如，定向的容器产生容器共鸣[D.艾哈曼等，Lect。注释计算。科学。7213, 74–88 (2012;兹比尔1338.68171); 日志。方法计算。科学。10，第3期，第14号论文，48页（2014年；Zbl 1338.68172号)]. 容器为编程提供了有用的推理原理和抽象机制。本文研究了基于函子和共鸣结构的容器遍历方案的性能特征。定义了容器变换的代价模型，从中导出了容器函子和余子运算的复杂度边界。这些边界表示使用这些习惯用法构建的程序的优化。容器语法和类别理论提供的抽象接口提供了复杂性边界和后续优化，这些与实现无关（无机器）。 MSC公司： 68问题65 抽象数据类型；代数规范 68号30 软件工程的数学方面（规范、验证、度量、需求等） 引文：Zbl 1029.68096号;Zbl 1077.68015号;Zbl 1338.68171号;Zbl 1338.68172号 软件：GHC公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Orchard}，信息计算。261，第1部分，144--158（2018；Zbl 1394.68240） 全文： 内政部 参考文献： [1] 雅培，M。；Altenkirch，T。；Ghani，N.，容器的类别，（软件科学和计算结构基础，（2003），Springer），23-38·Zbl 1029.68096号 [2] 雅培，M。；Altenkirch，T。；加尼，N。《容器：构造严格正型》，Theor。计算。科学。，342, 1, 3-27, (2005) ·Zbl 1077.68015号 [3] 艾哈曼，D。；查普曼，J。；Uustalu，T.，集装箱什么时候是一种混合饮料？，（软件科学和计算结构基础，（2012）），74-88·Zbl 1338.68171号 [4] 艾哈曼，D。；查普曼，J。；Uustalu，T.，集装箱什么时候是一种混合饮料？，日志。方法计算。科学。，2014年3月10日（扩展版）·Zbl 1338.68172号 [5] 科科特，R。；迪亚斯·博伊尔斯，J。；加拉赫，J。；Hrubeš，P.，时间集，功能复杂性和可计算性，电子。注释Theor。计算。科学。，286, 117-137, (2012) ·兹比尔1342.68127 [6] 美国达拉戈。；Martini，S.，lambda演算的不变成本模型，（计算障碍的逻辑方法，（2006），Springer），105-114·Zbl 1145.68375号 [7] Kenneth Foner，Functional pearl:getting a quick fix on comonads，（美国医学会SIGPLAN Not.，vol.50，（2015），美国医学会），106-117 [8] Girard，J.-Y.，正规函子，幂级数和λ-微积分，纯粹应用。日志。，37, 2, 129-177, (1988) ·Zbl 0646.03056号 [9] 哈维尔，J。；Herout，A.，通过范畴理论建模的渲染管道，（GraVisMa 2010年研讨会论文集，（2010），位于皮尔森的西波西米亚大学），101-105 [10] Hayashi，Y.，骨架并行程序的基于形状的成本分析，（2001） [11] Hinze，R.，Kan程序优化扩展或：art和dan解释一个旧技巧，（《程序构造数学》，（2012），Springer），324-362·Zbl 1358.68057号 [12] Jay，C.Barry，《形状的语义》，《科学》。计算。程序。，25, 2, 251-283, (1995) ·Zbl 0853.68119号 [13] Jay，C.Barry，并行程序作为形状函数的成本计算，科学。计算。程序。，37, 1, 207-224, (2000) ·Zbl 0954.68043号 [14] 杰伊·C·巴里；Cockett，J.Robin B.，《形状类型和形状多态性》（Programming Languages and Systems-ESOP’94，（1994），Springer），302-316 [15] Lechtchinsky，R。；查克拉瓦蒂，M。；Keller，G.，《嵌套数组代码成本计算》，《并行过程》。莱特。，12, 02, 249-266, (2002) [16] Orchard，D.，编程上下文计算，（2014），剑桥大学博士论文 [17] Orchard，D。；博林布鲁克，M。；Mycroft，A.，Ypnos：声明式并行结构化网格编程，（DAMP’10：第五届ACM SIGPLAN多核编程声明方面研讨会论文集，（2010），美国纽约州纽约市ACM），15-24 [18] Orchard，D。；Mycroft，A.，《辅音符号》（IFL’12：功能语言的实现和应用，修订论文集，第8241卷，（2012）） [19] Peyton Jones，S。；托尔马赫，A。；Hoare，T.，《按规则行事：重写作为GHC中的实用优化技术》，（Haskell Workshop，第1卷，（2001）），203-233 [20] J.Riely。；Prins，J.，《扁平化是一种改进》（Static Analysis，（2000），Springer），360-376·Zbl 0966.68506号 [21] Skillicorn，D.，实用并行计算模型，国际并行程序。，20, 2, 133-158, (1991) [22] Skillicorn，D。；蔡伟，《并行函数编程的成本计算》，J.parallel Distribute.Compute。，28，1，65-83，（1995年）·Zbl 0833.68021号 [23] 乌斯塔鲁，T。；Vene，V.，Comonadic计算概念，电子。注释Theor。计算。科学。，203, 5, 263-284, (2008) ·Zbl 1279.68088号 [24] Uustalu，Tarmo，容器组合学：单子和Lax单oid函子，（国际理论计算机科学主题会议，（2017），施普林格），91-105·Zbl 1485.18004号 [25] Voigtländer，J.，自由单子体上计算的渐近改进，（程序构造数学，（2008），Springer），388-403·Zbl 1156.68363号 [26] Wadler，P.，严格性分析有助于时间分析，（第15届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，（1988），ACM），119-132 [27] Wadler，P.，《森林砍伐：改造项目以消除树木》，Theor。计算。科学。，73,2231-248，（1990年）·Zbl 0701.68013号 [28] Yanofsky，N.S.，朝向算法的定义，J.Log。计算。，21, 2, 253-286, (2011) ·Zbl 1214.68459号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。