Extensible Algebraic Datatypes with Defaults

14 years 6 months ago
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.
Matthias Zenger, Martin Odersky
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2001
Where ICFP
Authors Matthias Zenger, Martin Odersky
Comments (0)