阿尔珀·奥达巴什;Elis Soylu Yilmaz公司 范畴理论和函数编程与应用程序之间的关系。 (英语) Zbl 1420.18002号 土耳其语。数学杂志。 43,第3期,1566-1577(2019)。 本文试图用通俗易懂的语言阐明函数编程与范畴理论之间的联系。除了常见的定义和示例外,它还展示了函数式编程语言如何被视为一个类别,并简要讨论了一个函数程序,以检查列表是否代表一个类别。审稿人评论:这篇论文很短,试图从读者那里尽可能少地假设,这很好。我坚信写下一篇关于这个主题的好的导言是很困难的,而且作者设法确定了一些关键方面。不幸的是,写作有时是不准确的,并且符号中的一些变化使论文比读者发现这些主题所需要的更难。虽然这一努力确实值得认可和鼓励,但太多的错误会妨碍向任何愿意开始探索这一迷人主题的人推荐本文。审核人:克莱门特·奥伯特(奥古斯塔) MSC公司: 18A05型 范畴理论中的定义和推广 68甲18 函数编程和lambda演算 68甲15 编程语言理论 关键词:范畴理论;函数式程序设计;哈斯克尔;教程 软件:哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{A.Odabaš}和\textit{E.Soylu Yilmaz},土耳其数学杂志。43,第3号,1566-1577(2019年;兹bl 1420.18002) 全文: 内政部 参考文献: [1] Arbib M,Manes E.箭头,结构和函数:分类命令。英国伦敦:学术出版社,1975年·Zbl 0374.18001号 [2] Arvasi Z.分类与计算机科学,奥斯曼加齐大学讲稿。土耳其埃斯基什海尔:奥斯曼加齐大学,2013年。 [3] Asperti A,Longo G.类别、类型和结构,计算基础系列。英国伦敦:麻省理工学院出版社,1991年·Zbl 0783.18001号 [4] 巴尔姆,威尔斯。ESSLLI的分类理论讲稿,1999年。(http://www.let.uu.nl/esslli/Courses/barr/barrwells.ps) [5] Barr M,Wells C.计算科学的范畴理论。美国纽约州纽约市:普伦蒂斯·霍尔,1990年·兹标0714.18001 [6] Dillon L.功能性与强制性课程,讲稿,2008年。 [7] Eilenberg S,MacLane S。工作数学家的类别。美国纽约州纽约市:斯普林格出版社,1998年·Zbl 0906.18001号 [8] Fokker J.函数编程,乌得勒支大学计算机科学系讲稿,1995年。 [9] Hagino T.一种分类程序设计语言。1987年,日本京都京都大学博士·Zbl 0643.03010号 [10] 哈斯克尔的Hutton G.编程。英国伦敦:剑桥大学出版社,2007年·Zbl 1117.68018号 [11] Pitt D、Abramsky S、Poigne A、Rydeheard D、Category Theory and Computer Programming,英国教程和研讨会。吉尔福德,英国:施普林格,1985年·兹比尔0607.00015 [12] 美国雷迪。类别和函数,伯明翰大学米德兰研究生院讲稿。英国伯明翰:伯明翰大学,2013年。 [13] Rydeheard DE,Burstall RM。计算范畴理论,Prentice-hall国际计算机科学系列。美国新泽西州:Prentice Hall 1988·Zbl 0649.18001号 [14] Haskell的Soylu E.范畴理论。2013年,土耳其埃斯基什伊尔奥斯曼加齐大学理学硕士。 [15] Vimal SP.函数编程,BITS Plain,2012年。 [16] 沃尔特斯RFC。类别和计算机科学,剑桥计算机科学课本。英国剑桥:剑桥大学出版社,1991年·Zbl 0789.18001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。