聚合胺

PolyAML:一种面向方面的多态函数式编程语言。本文定义了PolyAML,一种类型化的面向方面的函数式编程语言。PolyAML的主要贡献是多态性、运行时类型分析和面向方面编程语言特性的无缝集成。特别是,PolyAML允许程序员使用由多态连接点集合构造的切入点来定义类型安全的多态性建议。PolyAML还配备了一个类型推理算法,该算法保守地扩展了Hindley-Milner类型推理。为了支持一流的多态点切割指示符,这是开发面向方面的评测或日志库的关键特性,该算法将传统的Hindley-Milner类型推理算法与一种简单的局部类型推理相结合,通过一种类型定向的翻译,将我们的语言操作意义转化为一种表达型安全的中间语言。在这个翻译中,源语言的许多复杂性都被消除了,这导致了其语义的模块化规范。中间语言的一个新颖之处是定义了标记控制流点的多态标签。这些标签以树状结构组织,这样树中的父对象就可以作为其所有子对象的代表。类型安全性要求每个子类型的多态性低于其父类型。类似地,当一组标签被组合成一个切入点时,每个标签的类型都是切入点类型的一个实例。

这个软件也是同行评审按日记帐汤姆斯.