Type Directives and Type Graphs in Elm

Falco Peijnenburg; J. Hage; A. Serrano Mena

doi:10.1145/3064899.3064907

Type Directives and Type Graphs in Elm

Falco Peijnenburg, J. Hage, A. Serrano Mena

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

Abstract

We introduce type graphs into Elm in order to improve type error messages for infinite types, and integrate type qualifiers (for type classes a la Haskell) and Elm's row polymorphism into type graphs. We also discuss how specialized type rules and siblings can be used to achieve domain-specific type error diagnosis in the context of Elm.

Original language	English
Title of host publication	Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016
Subtitle of host publication	Leuven, Belgium, August 31 - September 2, 2016
Place of Publication	New York
Publisher	Association for Computing Machinery
Number of pages	12
ISBN (Print)	978-1-4503-4767-9
DOIs	https://doi.org/10.1145/3064899.3064907
Publication status	Published - 2016

Access to Document

10.1145/3064899.3064907

peijnenburgFinal published version, 634 KBLicence: Taverne

Cite this

@inproceedings{f23a71bca4874b9fa12ded8df354d23f,

title = "Type Directives and Type Graphs in Elm",

abstract = "We introduce type graphs into Elm in order to improve type error messages for infinite types, and integrate type qualifiers (for type classes a la Haskell) and Elm's row polymorphism into type graphs. We also discuss how specialized type rules and siblings can be used to achieve domain-specific type error diagnosis in the context of Elm.",

author = "Falco Peijnenburg and J. Hage and \{Serrano Mena\}, A.",

year = "2016",

doi = "10.1145/3064899.3064907",

language = "English",

isbn = "978-1-4503-4767-9",

booktitle = "Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016",

publisher = "Association for Computing Machinery",

}

Type Directives and Type Graphs in Elm. / Peijnenburg, Falco; Hage, J.; Serrano Mena, A.
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016: Leuven, Belgium, August 31 - September 2, 2016. New York: Association for Computing Machinery, 2016. 2.

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

TY - GEN

T1 - Type Directives and Type Graphs in Elm

AU - Peijnenburg, Falco

AU - Hage, J.

AU - Serrano Mena, A.

PY - 2016

Y1 - 2016

N2 - We introduce type graphs into Elm in order to improve type error messages for infinite types, and integrate type qualifiers (for type classes a la Haskell) and Elm's row polymorphism into type graphs. We also discuss how specialized type rules and siblings can be used to achieve domain-specific type error diagnosis in the context of Elm.

AB - We introduce type graphs into Elm in order to improve type error messages for infinite types, and integrate type qualifiers (for type classes a la Haskell) and Elm's row polymorphism into type graphs. We also discuss how specialized type rules and siblings can be used to achieve domain-specific type error diagnosis in the context of Elm.

U2 - 10.1145/3064899.3064907

DO - 10.1145/3064899.3064907

M3 - Conference contribution

SN - 978-1-4503-4767-9

BT - Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016

PB - Association for Computing Machinery

CY - New York

ER -

Type Directives and Type Graphs in Elm

Abstract

Access to Document

Fingerprint

Cite this