Simple Imperative Polymorphism

DMCA

Simple Imperative Polymorphism (1995)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Andrew Wright

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}
}

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

DMCA