Patterns in Datatype−Generic ProgrammingReport as inadecuate

Patterns in Datatype−Generic Programming - Download this document for free, or read online. Document in PDF available to download.

Reference: Jeremy Gibbons, (2003). Patterns in Datatype−Generic Programming.Citable link to this page:


Patterns in Datatype−Generic Programming

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 sufficient to express essentially all the genericity found in the Standard Template Library. 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 offers the prospect of better static checking and a greater ability to reason about generic programs. This paper describes work in progress.

Bibliographic Details

Publisher: John von Neumann Institute for Computing (NIC)

Host: Multiparadigm Programmingsee more from them

Issue Date: 2003Identifiers

Urn: uuid:fb0d3850-af6a-4fab-a5fc-04c20af9e5ea

Isbn: 3-00-016005-1 Item Description

Type: Conference paper; Tiny URL: cs:1857


Author: Jeremy Gibbons - institutionUniversity of Oxford facultyMathematical, Physical and Life Sciences Division - Department of Compute



Related documents