| Patterns in Datatype-Generic Programming (2003) | |||||||||||||||||
Abstract | |||||||||||||||||
| Generic programming consists of increasing the expressiveness of programs by allowing a wider variety of kinds of parameter than is usual. The most popular instance of this scheme is the C++ Standard Template Library. Datatype-generic programming is another instance, in which the parameters take the form of datatypes. We argue that datatype-generic programming is su#cient to express essentially all the genericity found in the Standard Template Library, and to capture the abstractions motivating many design patterns. Moreover, datatype-generic programming is a precisely-defined notion with a rigorous mathematical foundation, in contrast to generic programming in general and the C++ template mechanism in particular, and thereby o#ers the prospect of better static checking and a greater ability to reason about generic programs. This paper describes work in progress. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||