Aspect-Oriented Programming with Type Classes

Sulzmann, Martin and Wang, Meng (2007) Aspect-Oriented Programming with Type Classes. In: Workshop on Foundations of aspect-oriented languages, 2007/3/13. (Full text available)

Abstract

We study aspect-oriented programming (AOP) in the context of the strongly typed language Haskell. We show how to support AOP via a straightforward type class encoding. Our main result is that typedirected static weaving of AOP programs can be directly expressed in terms of type class resolution – the process of typing and translating type class programs. We provide two implementation schemes. One scheme is based on type classes as available in the Glasgow Haskell Compiler. The other, more expressive scheme, relies on an experimental type class system. Our results shed new light on AOP in the context of languages with rich type systems.

Item Type:	Conference or workshop item (Paper)
Uncontrolled keywords:	Aspect-Oriented, Type Classes, Functional Programming
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User:	Meng Wang
Date Deposited:	28 Feb 2015 16:06 UTC
Last Modified:	23 Mar 2015 17:43 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/47468 (The current URI for this page, for reference purposes)