Extensible Algebraic Datatypes with Defaults

Extensible Algebraic Datatypes with Defaults (2001)

by Matthias Zenger , Martin Odersky

Venue:	In Proceedings of the International Conference on Functional Programming
Citations:	32 - 8 self

Datum	Value	Source
TITLE	Extensible algebraic datatypes with defaults	INFERENCE
AUTHOR NAME	Matthias Zenger	SVM HeaderParse 0.1
AUTHOR AFFIL	Swiss Federal Institute of Technology; INR Ecublens	SVM HeaderParse 0.2
AUTHOR ADDR	1015 Lausanne, Switzerland	SVM HeaderParse 0.1
AUTHOR NAME	Martin Odersky	SVM HeaderParse 0.1
AUTHOR AFFIL	Swiss Federal Institute of Technology; INR Ecublens	SVM HeaderParse 0.2
AUTHOR ADDR	1015 Lausanne, Switzerland	SVM HeaderParse 0.1
ABSTRACT	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	SVM HeaderParse 0.1
YEAR	2001	INFERENCE
VENUE	In Proc. International Conference on Functional Programming (ICFP 2001	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	241--252	INFERENCE
CITATIONS	35 found	ParsCit 1.0