立体凸轮

面向方面的功能语言。我们提出了一种面向方面编程语言aspectualcaml,它基于一个强类型的函数式语言Objective-Caml,它有两种类似于AspectJ语言的AOP机制。本文描述了这些AOP机制的设计和实现问题,这些机制使我们深入了解了AOP特性与强类型函数语言中常见特征(如类型推断、多态类型和curried函数)之间的交互作用。我们实现了该语言的一个原型编译器,并使用该语言分离应用程序中的横切关注点,包括从编译器描述中分离类型系统的描述。