Patterns in Datatype−Generic Programming
<em>Generic programming</em> 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. <em>Datatype-generic programming</em> is another...
| Prif Awdur: | |
|---|---|
| Fformat: | Conference item |
| Cyhoeddwyd: |
John von Neumann Institute for Computing (NIC)
2003
|
| _version_ | 1826306347437654016 |
|---|---|
| author | Gibbons, J |
| author_facet | Gibbons, J |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | <em>Generic programming</em> 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. <em>Datatype-generic programming</em> 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. |
| first_indexed | 2024-03-07T06:46:35Z |
| format | Conference item |
| id | oxford-uuid:fb0d3850-af6a-4fab-a5fc-04c20af9e5ea |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:46:35Z |
| publishDate | 2003 |
| publisher | John von Neumann Institute for Computing (NIC) |
| record_format | dspace |
| spelling | oxford-uuid:fb0d3850-af6a-4fab-a5fc-04c20af9e5ea2022-03-27T13:10:55ZPatterns in Datatype−Generic ProgrammingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:fb0d3850-af6a-4fab-a5fc-04c20af9e5eaDepartment of Computer ScienceJohn von Neumann Institute for Computing (NIC)2003Gibbons, J<em>Generic programming</em> 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. <em>Datatype-generic programming</em> 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. |
| spellingShingle | Gibbons, J Patterns in Datatype−Generic Programming |
| title | Patterns in Datatype−Generic Programming |
| title_full | Patterns in Datatype−Generic Programming |
| title_fullStr | Patterns in Datatype−Generic Programming |
| title_full_unstemmed | Patterns in Datatype−Generic Programming |
| title_short | Patterns in Datatype−Generic Programming |
| title_sort | patterns in datatype generic programming |
| work_keys_str_mv | AT gibbonsj patternsindatatypegenericprogramming |