Sciweavers

Share
ICFP
2006
ACM

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

12 years 9 months ago
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...
Geoffrey Washburn, Stephanie Weirich
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2006
Where ICFP
Authors Geoffrey Washburn, Stephanie Weirich
Comments (0)
books