Aspectual Caml

Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa
2005 Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05  
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanisms, namely the pointcut and advice mechanism and the type extension mechanism, which gives similar functionality to the inter-type declarations in AspectJ. Those mechanisms are not simple adaptation of the similar mechanisms in existing AOP languages, but re-designed for common programming styles in functional
more » ... such as type inference, polymorphic types, and curried functions. We implemented a prototype compiler of the language and used the language for separating crosscutting concerns in application programs, including a type system separated from a compiler of a simple language.
doi:10.1145/1086365.1086405 dblp:conf/icfp/MasuharaTY05 fatcat:w5j446lv6rgmnfrm7iixajuy2a