Aspect-oriented programming with type classes Export

@inproceedings{citeulike:5845902, 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.}, address = {New York, NY, USA}, author = {Sulzmann, Martin and Wang, Meng}, booktitle = {FOAL '07: Proceedings of the 6th workshop on Foundations of aspect-oriented languages}, citeulike-article-id = {5845902}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1233833.1233842}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1233833.1233842}, doi = {10.1145/1233833.1233842}, isbn = {1-59593-661-5}, keywords = {aosd, aspect, type\_classes}, location = {Vancouver, British Columbia, Canada}, pages = {65--74}, posted-at = {2009-09-27 23:05:16}, priority = {2}, publisher = {ACM}, title = {Aspect-oriented programming with type classes}, url = {http://dx.doi.org/10.1145/1233833.1233842}, year = {2007} }

TY - CONF ID - citeulike:5845902 L3 - citeulike-article-id:5845902 N2 - 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. CY - Vancouver, British Columbia, Canada SN - 1-59593-661-5 AD - New York, NY, USA EP - 74 TI - Aspect-oriented programming with type classes PB - ACM T2 - FOAL '07: Proceedings of the 6th workshop on Foundations of aspect-oriented languages SP - 65 KW - aosd KW - aspect KW - type_classes AU - Sulzmann, Martin AU - Wang, Meng PY - 2007/// UR - http://dx.doi.org/10.1145/1233833.1233842 ER -