Haskell Type Constraints Unleashed - D. Orchard, T. Schrijvers
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.
Recent comments
38 weeks 3 days ago
38 weeks 3 days ago
38 weeks 3 days ago
1 year 8 weeks ago
1 year 12 weeks ago
1 year 14 weeks ago
1 year 14 weeks ago
1 year 17 weeks ago
1 year 21 weeks ago
1 year 21 weeks ago