Associated type synonyms

Manuel M.T. Chakravarty; Gabriele Keller; Simon Peyton Jones

doi:10.1145/1086365.1086397

Associated type synonyms

Manuel M.T. Chakravarty^*
, Gabriele Keller
, Simon Peyton Jones

^*Corresponding author for this work

University of New South Wales
Programming Languages and Systems
Microsoft USA

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the first. Although such functional dependencies have proved quite popular in practice, they express the programmer's intent somewhat indirectly. Developing earlier work on associated data types, we propose to add functionally-dependent types as type synonyms to type-class bodies. These associated type synonyms constitute an interesting new alternative to explicit functional dependencies.

Original language	English
Title of host publication	ICFP 2005 - Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming
Pages	241-253
Number of pages	13
DOIs	https://doi.org/10.1145/1086365.1086397
Publication status	Published - 1 Dec 2005
Externally published	Yes
Event	10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005 - Tallinn, Estonia Duration: 26 Sept 2005 → 28 Sept 2005

Conference

Conference	10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005
Country/Territory	Estonia
City	Tallinn
Period	26/09/05 → 28/09/05

Keywords

Associated types
Generic programming
Type classes
Type functions
Type inference

Access to Document

10.1145/1086365.1086397

Cite this

@inproceedings{a949e477b025452c91afa0e825f694af,

title = "Associated type synonyms",

abstract = "Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the first. Although such functional dependencies have proved quite popular in practice, they express the programmer's intent somewhat indirectly. Developing earlier work on associated data types, we propose to add functionally-dependent types as type synonyms to type-class bodies. These associated type synonyms constitute an interesting new alternative to explicit functional dependencies.",

keywords = "Associated types, Generic programming, Type classes, Type functions, Type inference",

author = "Chakravarty, \{Manuel M.T.\} and Gabriele Keller and \{Peyton Jones\}, Simon",

year = "2005",

month = dec,

day = "1",

doi = "10.1145/1086365.1086397",

language = "English",

isbn = "1595930647",

pages = "241--253",

booktitle = "ICFP 2005 - Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming",

note = "10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005 ; Conference date: 26-09-2005 Through 28-09-2005",

}

TY - GEN

T1 - Associated type synonyms

AU - Chakravarty, Manuel M.T.

AU - Keller, Gabriele

AU - Peyton Jones, Simon

PY - 2005/12/1

Y1 - 2005/12/1

N2 - Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the first. Although such functional dependencies have proved quite popular in practice, they express the programmer's intent somewhat indirectly. Developing earlier work on associated data types, we propose to add functionally-dependent types as type synonyms to type-class bodies. These associated type synonyms constitute an interesting new alternative to explicit functional dependencies.

AB - Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the first. Although such functional dependencies have proved quite popular in practice, they express the programmer's intent somewhat indirectly. Developing earlier work on associated data types, we propose to add functionally-dependent types as type synonyms to type-class bodies. These associated type synonyms constitute an interesting new alternative to explicit functional dependencies.

KW - Associated types

KW - Generic programming

KW - Type classes

KW - Type functions

KW - Type inference

UR - https://www.scopus.com/pages/publications/33646122583

U2 - 10.1145/1086365.1086397

DO - 10.1145/1086365.1086397

M3 - Conference contribution

AN - SCOPUS:33646122583

SN - 1595930647

SN - 9781595930644

SP - 241

EP - 253

BT - ICFP 2005 - Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming

T2 - 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005

Y2 - 26 September 2005 through 28 September 2005

ER -

Associated type synonyms

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this