Type Families with Class, Type Classes with Family

Alejandro Serrano, Jurriaan Hage, Patrick Bahr

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

Abstrakt

Type classes and type families are key ingredients in Haskell programming. Type classes were introduced to deal with ad-hoc polymorphism, although with the introduction of functional dependencies, their use expanded to type-level programming. Type families also allow encoding type-level functions, now as rewrite rules. This paper looks at the interplay of type classes and type families, and how to deal with shortcomings in both of them. Furthermore, we show how to use families to simulate classes at the type level. However, type families alone are not enough for simulating a central feature of type classes: elaboration, that is, generating code from the derivation of a rewriting. We look at ways to solve this problem in current Haskell, and propose an extension to allow elaboration during the rewriting phase.
OriginalsprogUdefineret/Ukendt
TitelProceedings of the 8th ACM SIGPLAN Symposium on Haskell
Antal sider12
UdgivelsesstedNew York, NY, USA
ForlagAssociation for Computing Machinery
Publikationsdato1 sep. 2015
Sider129-140
ISBN (Trykt)978-1-4503-3808-0
DOI
StatusUdgivet - 1 sep. 2015

Emneord

  • Directives, Elaboration, Functional dependencies, Haskell, Type classes, Type families

Citationsformater