Good advice for type-directed programming aspect-oriented programming and extensible generic functions

Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it possible to implement many sorts of operations, such as serialization, traversals, and queries, only once and without needing to continually revise their implementation as new data types are defined. Type-directed programming is the basis for recent research into "scrapping" tedious boilerplate code that arises in functional programming with algebraic data types. This research has primarily focused on writing type-directed functions that are closed to extension. However, L?ammel and Peyton Jones recently developed a technique for writing openly extensible type-directed functions in Haskell by making clever use of type classes. Unfortunately, this technique has a number of limitations. We present an alternate approach to writing openly extensible type-directed functions by using the aspect-oriented prog...

• Type: Conference
• Year: 2006
• Where: ICFP
• Authors: Geoffrey Washburn, Stephanie Weirich
• Keywords: Aspect-oriented Programming Features, Extensible Type-directed Functions, ICFP 2006, Peyton Jones, Programming Languages