Aspect-oriented programming with type classes

11 years 10 months ago
Aspect-oriented programming with type classes
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can model an AOP style of programming via a simple syntax-directed transformation scheme where AOP programming idioms are mapped to type classes. The drawback of this approach is that we cannot easily advise functions in programs which carry type annotations. We sketch a more principled approach which is free of such problems by combining ideas from intentional type analysis with advanced overloading resolution strategies. Our results show that type-directed static weaving is closely related to type class resolution
Martin Sulzmann, Meng Wang
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where FOAL
Authors Martin Sulzmann, Meng Wang
Comments (0)