10.1145/263699.263763ACM会议文章/章节视图摘要出版物页波普会议记录
文章

polypo&一种多型程序设计语言扩展

摘要

许多函数必须为不同的数据类型反复编写,这可能是因为数据类型在程序开发过程中会发生变化,或者是因为在不同的数据类型上需要具有相似功能的函数。这类函数的例子有漂亮的打印机、调试器、相等函数、统一器、模式匹配器、重写函数等。这些函数称为多型函数。多型函数是通过对用户定义的数据类型的结构进行归纳而定义的函数。本文扩展了一种函数语言(Haskell的一个子集),提出了一种编写多型函数的结构。扩展语言类型检查多型函数的定义,并使用Jones的限定类型和高阶多态性理论的扩展来推断所有其他表达式的类型。扩展语言中程序的语义是通过在字典传递样式中的函数中添加类型参数来获得的。扩展语言中的程序被翻译成Haskell。

工具书类

  1. 1Timothy C.Bell,John G.Cleary和lanH。威顿。文本压缩。PrenticeHail,1990年,谷歌学者谷歌学者
  2. 2G、 贝尔、C.B.杰伊和E.莫吉。96年上半年的函数ML。斯普林格·韦拉格,1996年。LNCS公司谷歌学者谷歌学者
  3. 三。C、 BShm和A.Berarducci。类型的自动综合:项代数上的A程序。《理论比较科学》,39:135-154,1985年1月,谷歌学者谷歌学者
  4. 4罗伯特·D·卡梅隆。使用句法信息源模型进行源代码编码。IEEE信息论汇刊,34(4):843-8501988。谷歌学者谷歌学者数字图书馆数字图书馆
  5. 5J、 F.康特拉。同步校正源程序的压缩编码。软件实践与经验,15(7):6256361985。谷歌学者谷歌学者
  6. 6五十、 达马斯和米尔纳。主要类型,功能程序的方案。在第八届程序语言原理研讨会上,82年,第207-212页,1982年。。谷歌学者谷歌学者
  7. 7N、 德肖维茨。关于简化序的注记。信息处理信函,9(5):212-2151979年。谷歌学者谷歌学者
  8. 8J、 H.Fasel,P,Hudak,S Peyton Jones和P.Wadler。Sigplan注意到函数式编程语言H#kell的特殊问题。A CM SIGPLAN notices,27(5),1992年。谷歌学者谷歌学者
  9. 9P、 弗雷伊德。递归类型简化为归纳类型。计算机科学中的逻辑学报,LICS'90,498-5071990页。谷歌学者谷歌学者
  10. 10罗伯特·哈珀和格雷格·莫里塞特。使用内涵类型分析编译多态性。编程语言原理研讨会,1995年,第130-1411995页。谷歌学者谷歌学者
  11. 11P、 詹森。多型性与多型统一。Chalmers理工大学和GSteborg大学硕士论文,1995年。谷歌学者谷歌学者
  12. 12P、 詹森和杰瑞。多型统一——用构造函数类实现多型函数。准备中,请参见http://www,cs。chalmers se/johanj,1996年。谷歌学者谷歌学者
  13. 13C、 巴里·杰伊。多项式多态性。《计算机科学大会论文集》第18-237页。谷歌学者谷歌学者
  14. 14C、 Barry Jay,形状的语义学。计算机编程科学,25:251-2831995年。谷歌学者谷歌学者
  15. 15J、 杰瑞。多型模式匹配。在FPCA'95会议记录中,8IGPLAN-SIGARGH-WG2.8函数式编程语言和计算机体系结构会议,第238-248页,1995年。谷歌学者谷歌学者
  16. 16J、 Jeuring和P.Jansson。多型程序设计。编辑J.Launchbury,E.Meijer和T.Sheard,《第二届高级函数编程技术国际暑期学校会刊》,第68-114页。斯普林格·韦拉格,1996年。LNCS 1129号。谷歌学者谷歌学者
  17. 17马克·琼斯。通过部分求值实现无字典重载,1994年6月在佛罗里达州奥兰多举行的CM-SIGPLAN关于部分求值和基于语义的程序操作的研讨会。谷歌学者谷歌学者
  18. 18马克·琼斯。理论和类型:合格!练习。剑桥大学出版社,1994年。谷歌学者谷歌学者
  19. 19马克·琼斯。具有重载和高阶p01y纯性的函数程序设计。J.Jeuring和E.Meijer,编辑,高级函数编程,LNCS 925,第97-136页。斯普林格-韦拉格,1995年。谷歌学者谷歌学者
  20. 20马克·琼斯。构造函数系统关闭:重载和隐式高阶多态性。函数式程序设计杂志,1995年第1-35页。谷歌学者谷歌学者
  21. 21J、 克洛普。术语重写系统。计算机科学逻辑手册,第1-116页。牛津大学出版社,1992年。#谷歌学者谷歌学者
  22. 22D、 E.Knuth和P.B.#Bendix。简单词代数中的普遍问题。作者J.Leech著,《抽象代数中的计算问题》,第263-29页?。佩加蒙出版社,1970年。谷歌学者谷歌学者
  23. 23K、 J.Lieberherr,I.Silva Lepe和C.Xiao。自适应面向对象编程——使用基于图形的定制。A CM通信,第94-101页,1994年。谷歌学者谷歌学者
  24. 24G、 马尔科姆。数据结构和程序转换。《计算机编程科学》,14:255-27990年。谷歌学者谷歌学者
  25. 25A、 马泰伊、C.莫伊索和C.F.罗西。方程理论中的一种统一算法。进行中。逻辑程序设计研讨会,第180-186页,1986年。谷歌学者谷歌学者
  26. 26五十、 米尔滕斯。参数论。计算的形式方面,4(5):413-4251992。谷歌学者谷歌学者
  27. 27E、 梅杰,福金加先生和帕特森先生。用魔法、镜头、电子显影和带刺铁丝网进行全国性编程。在J,Hughes,编辑,第五届A CM会议论文集。国家程序设计语言与计算机体系结构,FPCA'91,第124-1441991页。谷歌学者谷歌学者
  28. 28E、 梅杰和G·赫顿。“太空香蕉”将折叠展开成指数型。在FPCA'95会议记录中,SIGPLAN-SIGARCH-WG#.8函数式编程语言和计算机体系结构会议,第324-3331995页。谷歌学者谷歌学者
  29. 29j、 Palsberg,C.Xiao和K.Lieberherr。自适应软件的有效实现。托普拉斯,1995年。谷歌学者谷歌学者
  30. 30T、 Sheard and“:N:Nelson”使用程序生成器的类型安全摘要。#未出版的手稿,1995年。# #谷歌学者谷歌学者
  31. 31蒂姆·希尔德。自动生成和使用抽象结构运算符。程序设计语言与系统通用汇刊,13(4):531-5571991。。谷歌学者谷歌学者
  32. 32J、 齐夫和A,莱姆佩尔。序列数据压缩的通用算法,iEEE信息论汇刊,23(3):337-343,1977。谷歌学者谷歌学者

索引术语

  1. polypo&一种多型程序设计语言扩展

                评论

                登录选项

                请检查您是否有权通过您的登录凭据或您的机构来获得对本文的完全访问权。

                登录

                完全访问

                PDF格式

                以PDF文件形式查看或下载。

                PDF格式

                电子阅读器

                使用eReader联机查看。

                电子阅读器
                关于这个网站上的Cookies

                我们使用cookies来确保在我们的网站上为您提供最佳体验。

                了解更多

                知道了!