Context-parametric polykinded types

Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class membership. We explain Generic Haskell, discuss the relevance of constrained types, and show that they are not supported by Generic Haskell. We propose context-parametric polykinded types as a solution, thereby making polytypic functions generic on a larger class of types. Our proposal entails an extension to the Generic Haskell compiler, not the language, and is therefore transparent to the generic programmer. Categories and Subject Descriptors D.3.2 [Programming Languages]: Language Classifications--Applicative (functional) languages, Generic Haskell; D.3.3 [Programming Languages]: Language Constructs and Features--Data types and structures, constraints General Terms Languages, Theory Keywords Generic haskell, polytypic programming, constrained types, polykinded types, kind-indexed types

• Type: Conference
• Year: 2006
• Where: ICFP
• Authors: Pablo Nogueira
• Keywords: Generic Haskell, Generic Haskell Compiler, ICFP 2006, Keywords Generic Haskell, Programming Languages