Abstract

Their support for code reuse has made object-oriented languages popular. However, they do not succeed equally in all areas, particularly when data has a complex structure, making hard to keep the parallel between data and code. On the other hand, functional programming languages, which separate data from code, are better at handling complex structures, but they do not provide direct ways to reuse code for a different datatype. We show here a way to achieve code reuse, even when data and code are separated. The method is illustrated by a detailed example. 1

Citations

33	Programming with polymorphic variants - Garrigue - 1998
30	Garrigue, Didier Rémy and Jéróme Vouillon: The Objective Caml System - Leroy, Doligez, et al. - 2010
12	Synthesizing object-oriented and functional design to promote re-use - Krishamurthi, Felleisen, et al. - 1998
9	The expression problem. Discussion on the Java-Genericity mailing list - Wadler - 1998