Extensible Algebraic Datatypes with Defaults

A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existing code. This paper introduces Extensible Algebraic Datatypes with Defaults which promote a simple programming pattern to solve this well known problem. We show that it is possible to encode extensible algebraic datatypes in an object-oriented language, using a new design pattern for extensible visitors. Extensible algebraic datatypes have been successfully applied in the implementation of an extensible Java compiler. Our technique allows for the reuse of existing components in compiler extensions without the need for any adaptations.


Published in:
Proceedings of the International Conference on Functional Programming
Presented at:
International Conference on Functional Programming, Firenze, September 2001
Year:
2001
Other identifiers:
Laboratories:




 Record created 2006-01-24, last modified 2018-03-17

n/a:
Download fulltext
PS.GZ

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)