Associated Types with Class (2005)
| Venue: | In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
| Citations: | 63 - 18 self |
BibTeX
@INPROCEEDINGS{Chakravarty05associatedtypes,
author = {Manuel M. T. Chakravarty and Gabriele Keller and Simon Peyton Jones and Simon Marlow},
title = {Associated Types with Class},
booktitle = {In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {2005},
pages = {1--13},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we explore an extension to Haskell type classes that allows a type class declaration to define data types as well as values (or methods). Similarly, an instance declaration gives a witness for such data types, as well as a witness for each method. It turns out that this extension directly supports the idea of a type-indexed type, and is useful in many applications, especially for self-optimising libraries that adapt their data representations and algorithms in a type-directed manner.
