Simple Imperative Polymorphism (1995)
Cached
Download Links
- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [www.cs.rice.edu]
- [www.dcs.ed.ac.uk]
- [www.brics.dk]
- DBLP
Other Repositories/Bibliography
| Venue: | LISP and Symbolic Computation |
| Citations: | 110 - 3 self |
BibTeX
@INPROCEEDINGS{Wright95simpleimperative,
author = {Andrew Wright},
title = {Simple Imperative Polymorphism},
booktitle = {LISP and Symbolic Computation},
year = {1995},
pages = {343--356}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. This paper describes a simple extension of the Hindley-Milner polymorphic type discipline to call-by-value languages that incorporate imperative features like references, exceptions, and continuations. This extension sacrifices the ability to type every purely functional expression that is typable in the Hindley-Milner system. In return, it assigns the same type to functional and imperative implementations of the same abstraction. Hence with a module system that separates specifications from implementations, imperative features can be freely used to implement polymorphic specifications. A study of a number of ML programs shows that the inability to type all Hindley-Milner typable expressions seldom impacts realistic programs. Furthermore, most programs that are rendered untypable by the new system can be easily repaired. Keywords: Continuations, functional programming, polymorphism, references, state 1. Polymorphism, Imperative Features, and Modules The Hindley-Milner polymorphic ty...
Keyphrases
imperative feature simple imperative polymorphism hindley-milner polymorphic type discipline hindley-milner polymorphic ty hindley-milner system functional programming module system simple extension new system realistic program imperative implementation polymorphic specification call-by-value language ml program functional expression hindley-milner typable expression
