Haskell type constraints unleashed

DOI10.1007/978-3-642-12251-4_6MaRDI QIDQ3558329zbMATH OpenOpenAlexFDO

Authors Dominic Orchard, Tom Schrijvers

Publication date 4 May 2010

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://kar.kent.ac.uk/57498/1/constraint-families.pdf

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Recommendations

• Type classes with more higher-order polymorphism
• Fun with type functions
• Type checking with open type functions
• Closed type families with overlapping equations
• Deconstraining DSLs

Cited in

(14)

• Type checking with open type functions
• Parametricity for Haskell with Imprecise Error Semantics
• Domain-specific tensor languages
• Practical Optional Types for Clojure
• Fun with type functions
• Proving type class laws for Haskell
• Understanding functional dependencies via constraint handling rules
• Deconstraining DSLs
• Type Class Instances for Type-Level Lambdas in Haskell
• scientific article; zbMATH DE number 4106298 (Why is no real title available?)
• Closed type families with overlapping equations
• The constrained-monad problem
• Constraint handling rules with binders, patterns and generic quantification
• Type-safe pattern combinators

Describes a project that uses

Uses Software

• GHC
• Haskell

This page was built for publication: Haskell type constraints unleashed

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558329)