Title: Haskell type constraints unleashed: Companion report
Authors: Orchard, Dominic
Schrijvers, Tom
Issue Date: Jan-2010
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW574
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.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW574.pdfDocument Published 261KbAdobe PDFView/Open


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