Please use this identifier to cite or link to this item: https://doi.org/10.1145/1233833.1233842
Title: Aspect-oriented programming with type classes
Authors: Sulzmann, M. 
Wang, M.
Keywords: Type class resolution
Type-directed weaving
Issue Date: 2007
Source: Sulzmann, M.,Wang, M. (2007). Aspect-oriented programming with type classes. Sixth Workshop on Foundations of Aspect-oriented Languages, FOAL'07 was held at the Sixth International Conference on Aspect-Oriented Software Development : 65-74. ScholarBank@NUS Repository. https://doi.org/10.1145/1233833.1233842
Abstract: 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 - the process of typing and translating type class programs. Copyright 2007 ACM.
Source Title: Sixth Workshop on Foundations of Aspect-oriented Languages, FOAL'07 was held at the Sixth International Conference on Aspect-Oriented Software Development
URI: http://scholarbank.nus.edu.sg/handle/10635/41910
DOI: 10.1145/1233833.1233842
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

4
checked on Dec 18, 2017

Page view(s)

37
checked on Dec 16, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.