Classes of arbitrary kind

Alejandro Serrano; Victor Cacciari Miraldo

doi:10.1007/978-3-030-05998-9_10

Classes of arbitrary kind

Alejandro Serrano^*, Victor Cacciari Miraldo

^*Corresponding author for this work

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

Abstract

The type class system in the Haskell Programming language provides a useful abstraction for a wide range of types, such as those that support comparison, serialization, ordering, between others. This system can be extended by the programmer by providing custom instances to one’s custom types. Yet, this is often a monotonous task. Some notions, such as equality, are very regular regardless if it is being encoded for a ground type or a type constructor. In this paper we present a technique that unifies the treatment of ground types and type constructors whenever possible. This reduces code duplication and improves consistency. We discuss the encoding of several classes in this form, including the generic programming facility in GHC.

Original language	English
Title of host publication	Practical Aspects of Declarative Languages
Subtitle of host publication	21st International Symposium, PADL 2019, Proceedings
Editors	José Júlio Alferes, Moa Johansson
Publisher	Springer
Pages	150-168
Number of pages	19
ISBN (Electronic)	978-3-030-05998-9
ISBN (Print)	978-3-030-05997-2
DOIs	https://doi.org/10.1007/978-3-030-05998-9_10
Publication status	Published - 1 Jan 2019
Event	21st International Symposium on Practical Aspects of Declarative Languages, PADL 2019 - Lisbon, Portugal Duration: 14 Jan 2019 → 15 Jan 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11372 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	21st International Symposium on Practical Aspects of Declarative Languages, PADL 2019
Country/Territory	Portugal
City	Lisbon
Period	14/01/19 → 15/01/19

Keywords

Generic programming
Haskell
Type classes

Access to Document

10.1007/978-3-030-05998-9_10

Serrano-Miraldo2019_Chapter_ClassesOfArbitraryKindFinal published version, 286 KBLicence: Taverne

Cite this

Serrano, A., & Miraldo, V. C. (2019). Classes of arbitrary kind. In J. J. Alferes, & M. Johansson (Eds.), Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Proceedings (pp. 150-168). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11372 LNCS). Springer. https://doi.org/10.1007/978-3-030-05998-9_10

Serrano, Alejandro ; Miraldo, Victor Cacciari. / Classes of arbitrary kind. Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Proceedings. editor / José Júlio Alferes ; Moa Johansson. Springer, 2019. pp. 150-168 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7ce14c127ec84f98a2a746e53f52356e,

title = "Classes of arbitrary kind",

abstract = "The type class system in the Haskell Programming language provides a useful abstraction for a wide range of types, such as those that support comparison, serialization, ordering, between others. This system can be extended by the programmer by providing custom instances to one{\textquoteright}s custom types. Yet, this is often a monotonous task. Some notions, such as equality, are very regular regardless if it is being encoded for a ground type or a type constructor. In this paper we present a technique that unifies the treatment of ground types and type constructors whenever possible. This reduces code duplication and improves consistency. We discuss the encoding of several classes in this form, including the generic programming facility in GHC.",

keywords = "Generic programming, Haskell, Type classes",

author = "Alejandro Serrano and Miraldo, {Victor Cacciari}",

year = "2019",

month = jan,

day = "1",

doi = "10.1007/978-3-030-05998-9_10",

language = "English",

isbn = "978-3-030-05997-2",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "150--168",

editor = "Alferes, {Jos{\'e} J{\'u}lio} and Moa Johansson",

booktitle = "Practical Aspects of Declarative Languages",

note = "21st International Symposium on Practical Aspects of Declarative Languages, PADL 2019 ; Conference date: 14-01-2019 Through 15-01-2019",

}

Serrano, A & Miraldo, VC 2019, Classes of arbitrary kind. in JJ Alferes & M Johansson (eds), Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11372 LNCS, Springer, pp. 150-168, 21st International Symposium on Practical Aspects of Declarative Languages, PADL 2019, Lisbon, Portugal, 14/01/19. https://doi.org/10.1007/978-3-030-05998-9_10

Classes of arbitrary kind. / Serrano, Alejandro; Miraldo, Victor Cacciari.
Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Proceedings. ed. / José Júlio Alferes; Moa Johansson. Springer, 2019. p. 150-168 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11372 LNCS).

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

TY - GEN

T1 - Classes of arbitrary kind

AU - Serrano, Alejandro

AU - Miraldo, Victor Cacciari

PY - 2019/1/1

Y1 - 2019/1/1

N2 - The type class system in the Haskell Programming language provides a useful abstraction for a wide range of types, such as those that support comparison, serialization, ordering, between others. This system can be extended by the programmer by providing custom instances to one’s custom types. Yet, this is often a monotonous task. Some notions, such as equality, are very regular regardless if it is being encoded for a ground type or a type constructor. In this paper we present a technique that unifies the treatment of ground types and type constructors whenever possible. This reduces code duplication and improves consistency. We discuss the encoding of several classes in this form, including the generic programming facility in GHC.

AB - The type class system in the Haskell Programming language provides a useful abstraction for a wide range of types, such as those that support comparison, serialization, ordering, between others. This system can be extended by the programmer by providing custom instances to one’s custom types. Yet, this is often a monotonous task. Some notions, such as equality, are very regular regardless if it is being encoded for a ground type or a type constructor. In this paper we present a technique that unifies the treatment of ground types and type constructors whenever possible. This reduces code duplication and improves consistency. We discuss the encoding of several classes in this form, including the generic programming facility in GHC.

KW - Generic programming

KW - Haskell

KW - Type classes

UR - http://www.scopus.com/inward/record.url?scp=85059682994&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-05998-9_10

DO - 10.1007/978-3-030-05998-9_10

M3 - Conference contribution

AN - SCOPUS:85059682994

SN - 978-3-030-05997-2

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 150

EP - 168

BT - Practical Aspects of Declarative Languages

A2 - Alferes, José Júlio

A2 - Johansson, Moa

PB - Springer

T2 - 21st International Symposium on Practical Aspects of Declarative Languages, PADL 2019

Y2 - 14 January 2019 through 15 January 2019

ER -

Serrano A, Miraldo VC. Classes of arbitrary kind. In Alferes JJ, Johansson M, editors, Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Proceedings. Springer. 2019. p. 150-168. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-05998-9_10

Classes of arbitrary kind

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this