The polymorphic imperative: A generic approach to in-place update
- Publication Type:
- Journal Article
- Electronic Notes in Theoretical Computer Science, 2004, 91 pp. 195 - 211
- Issue Date:
The constructor calculus supports generic operations defined over arbitrary data types including abstract data types. This paper extends the basic constructor calculus to handle constructed locations. The resulting calculus is able to define a generic assignment operation that performs in-place whenever appropriate and allocates fresh memory otherwise. This approach may eliminate many of the space overheads associated with higher-order polymorphic languages. In combination with existing generic programming techniques it can express some very powerful algorithms such as the visitor pattern. © 2004 Published by Elsevier B.V.
Please use this identifier to cite or link to this item: