×
陈坤;翁淑春;王蒙;邱小成;陈忠信

多态类型函数语言方面的类型定向编织。 （英语） Zbl 1209.68105号

科学。计算。程序。 75，第11期，1048-1076（2010）.
摘要：将面向方面的范式合并到多态类型的函数语言中，可以声明类型范围的建议，其中可以通过向方面引入可能的多态类型约束来控制方面的效果。面向方面和函数编程的结合使函数的快速行为适应、关注点的明确分离和表达型的类型定向编程成为可能。然而，在多态语言中使用类型映射语义对方面进行适当的静态编织仍然是一个挑战。本文描述了一种类型定向静态编织策略及其实现，该策略支持用面向方面的多态类型函数语言AspectFun编写的程序的静态类型推理和静态编织。我们展示了类型范围通知的示例，确定了在存在类型范围通知时编译时编织所面临的挑战，并演示了我们的技术如何处理各种高级方面功能。最后，我们根据AspectFun的操作语义证明了静态编织策略的正确性。

MSC公司：

68甲18 函数编程和lambda演算
68甲15 编程语言理论

关键词：

面向方面编程;打印的通知;静态织造;多态类型函数语言

软件：

PolyAML公司;Aspectual凸轮;哈斯克尔
PDF格式BibTeX公司 XML格式引用
\textit{K.Chen}等人，科学。计算。程序。75，第11号，1048--1076（2010；Zbl 1209.68105）
全文： DOI程序 链接

参考文献：

[1] Chen，K。；Lin，J.-Y。；翁，S.-C。；Khoo，S.-C.：副作用定位的设计方面，PEPM’09：部分评估和程序操作研讨会（2009-01-26），189-198（2009）
[2] Chen，K。；翁，S.-C。；王，M。；Khoo，S.-C。；Chen，C.-H.：面向方面的多态类型函数语言的编译模型，Lncs 4634，34-51（2007）·Zbl 1211.68062号 ·doi:10.1007/978-3-540-74061-23
[3] J.切尼。；Hinze，R.：泛型和动力学的轻量级实现，90-104（2002）
[4] 丹塔斯，D.S。；Walker，D。；Washburn，G。；Weirich，S.：Polyaml:一种多态面向方面的函数编程语言，（2005）·Zbl 1302.68057号
[5] D.S.Dantas，D.Walker，G.Washburn，S.Weirich，AspectML:一种多态面向方面的函数式编程语言，收录于：ACM Transactions on programming Languages and Systems，TOPLAS，2007年·Zbl 1302.68057号
[6] 哈斯克尔98。Haskell 98语言报告，http://research.microsoft.com/Users/simonpj/haskell98-revised/haskel98-report-html/。 ·Zbl 1067.68041号
[7] Hinze，R。；Löh，A.：《3D中的通用编程》，《计算机编程科学》74，第8期，590-628页（2009年）·Zbl 1192.68138号 ·doi:10.1016/j.scico.2007.10.06
[8] Jagadeesan，R。；杰弗里，A。；Riely，J.：面向方面的类型参数多态性，《计算机编程科学》63，第3期，267-296（2006）·Zbl 1119.68048号 ·doi:10.1016/j.scico.2006.02.008
[9] M.P.Jones，合格类型：理论与实践。牛津大学博士论文，1992年·Zbl 0841.68113号
[10] M.P.Jones，探索基于类型的隐式参数化的设计空间。俄勒冈州科学技术研究生院技术代表，1999年。
[11] Kiczales，G。；兰平，J。；Menhdhekar，A。；Maeda，C。；Lopes，C。；Loingtier，J.-M。；Irwin，J.：面向方面编程，面向对象编程欧洲会议论文集1241220-242（1997）
[12] 拉梅尔，R。；Jones，S.Peyton：《废弃样板：通用编程的实用设计模式》，ACM SIGPLAN公告38，第3期，26-37（2003）
[13] 拉梅尔，R。；Jones，S.Peyton：用类废弃样板：可扩展泛型函数，204-215（2005）·Zbl 1302.68062号
[14] J.R.Lewis，M.Shields，J.Launchbury，E.Meijer，《隐式参数：静态类型的动态范围界定》，载于：《编程语言原理研讨会》，2000年，第108–118页·Zbl 1323.68131号
[15] Masuhara，H。；Tatsuzawa，H。；Yonezawa，A.：Aspectual caml：一种面向方面的函数语言，320-330（2005）·Zbl 1302.68066号
[16] Wadler，P.：免费定理！，347-359 (1989)
[17] Wadler，P.：函数编程的本质，1-14（1992）
[18] Wadler，P。；Blott，S.：如何减少特殊多态性，60-76（1989）
[19] Wand，M。；Kiczales，G。；Dutchyn，C.：面向方面编程中建议和动态连接点的语义，关于编程语言和系统的ACM事务26，第5期，890-910（2004）
[20] M.Wang，K.Chen，S.-C.Khoo，《关于追求静态和连贯编织》，载于：2006年AOSD面向方面语言基础研讨会。爱荷华州立大学，TR 06-012006，第37-46页。
[21] 王，M。；Chen，K。；Khoo，S.-C.：高阶函数语言方面的类型定向编织，（2006）
[22] 王，M。；Oliveira，B.C.D.S.：面向方面编程对函数式程序员意味着什么？，ACM SIGPLAN通用编程研讨会会议记录，WGP’09（2009）
[23] Washburn，G。；Weirich，S.：关于类型定向编程面向方面编程和可扩展泛型函数的好建议，33-44（2006）
[24] Weirich，S.：类型安全演员：（功能珍珠），58-67（2000）·Zbl 1321.68160号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。