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)
PDF - Author's Accepted Manuscript | ||
Download (204kB)
Preview
|
|
|
Official URL http://dl.acm.org/citation.cfm?id=1233842 |
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) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):