How to make ad-hoc polymorphism less ad hoc

P. Wadler; S. Blott

doi:10.1145/75277.75283

How to make ad-hoc polymorphism less ad hoc

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper presents type classes, a new approach to ad-hoc polymorphism. Type classes permit overloading of arithmetic operators such as multiplication, and generalise the "eqtype variables" of Standard ML. Type classes extend the Hindley/Milner polymorphic type system, and provide a new approach to issues that arise in object-oriented programming, bounded type quantification, and abstract data types. This paper provides an informal introduction to type classes, and defines them formally by means of type inference rules.

Original language	English
Title of host publication	POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Place of Publication	New York, NY, USA
Publisher	ACM
Pages	60-76
Number of pages	17
ISBN (Print)	0-89791-294-2
DOIs	https://doi.org/10.1145/75277.75283
Publication status	Published - 1989

Access to Document

10.1145/75277.75283

Cite this

@inproceedings{53163365f4ba4a4f85667bb77e0f068a,

title = "How to make ad-hoc polymorphism less ad hoc",

abstract = "This paper presents type classes, a new approach to ad-hoc polymorphism. Type classes permit overloading of arithmetic operators such as multiplication, and generalise the {"}eqtype variables{"} of Standard ML. Type classes extend the Hindley/Milner polymorphic type system, and provide a new approach to issues that arise in object-oriented programming, bounded type quantification, and abstract data types. This paper provides an informal introduction to type classes, and defines them formally by means of type inference rules. ",

author = "P. Wadler and S. Blott",

year = "1989",

doi = "10.1145/75277.75283",

language = "English",

isbn = "0-89791-294-2",

pages = "60--76",

booktitle = "POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages",

publisher = "ACM",

}

TY - GEN

T1 - How to make ad-hoc polymorphism less ad hoc

AU - Wadler, P.

AU - Blott, S.

PY - 1989

Y1 - 1989

N2 - This paper presents type classes, a new approach to ad-hoc polymorphism. Type classes permit overloading of arithmetic operators such as multiplication, and generalise the "eqtype variables" of Standard ML. Type classes extend the Hindley/Milner polymorphic type system, and provide a new approach to issues that arise in object-oriented programming, bounded type quantification, and abstract data types. This paper provides an informal introduction to type classes, and defines them formally by means of type inference rules.

AB - This paper presents type classes, a new approach to ad-hoc polymorphism. Type classes permit overloading of arithmetic operators such as multiplication, and generalise the "eqtype variables" of Standard ML. Type classes extend the Hindley/Milner polymorphic type system, and provide a new approach to issues that arise in object-oriented programming, bounded type quantification, and abstract data types. This paper provides an informal introduction to type classes, and defines them formally by means of type inference rules.

U2 - 10.1145/75277.75283

DO - 10.1145/75277.75283

M3 - Conference contribution

SN - 0-89791-294-2

SP - 60

EP - 76

BT - POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

PB - ACM

CY - New York, NY, USA

ER -

How to make ad-hoc polymorphism less ad hoc

Abstract

Access to Document

Fingerprint

Cite this