Title: Haskell type constraints unleashed
Authors: Orchard, Dominic *
Schrijvers, Tom * # ×
Issue Date: 2010
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:6009 pages:56-71
Conference: International Symposium on Functional and Logic Programming edition:10 location:Sendai, Japan date:19-21 April 2010
Abstract: The popular Glasgow Haskell Compiler extends the Haskell 98
type system with several powerful features, leading to an expressive language of type terms. In contrast, constraints over types have received
much less attention, creating an imbalance in the expressivity of the
type system. In this paper, we rectify the imbalance, transferring familiar type-level constructs, synonyms and families, to the language of
constraints, providing a symmetrical set of features at the type-level and
constraint-level. We introduce constraint synonyms and constraint families, and illustrate their increased expressivity for improving the utility
of polymorphic EDSLs in Haskell, amongst other examples. We provide
a discussion of the semantics of the new features relative to existing type
system features and similar proposals, including details of termination.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
* (joint) first author
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
paper.pdfmain article Published 197KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science