Generalized algebraic data type

From Wikipedia, the free encyclopedia

This article is in need of attention from an expert on the subject. WikiProject Computer science or the Computer science Portal may be able to help recruit one. (November 2008)

Generalized algebraic data types are generalizations of the algebraic data types of Haskell and ML, applying to parametric types. With this extension, the parameters of the return type of a data constructor can be freely chosen when declaring the constructor, while for algebraic data types in Haskell 98, the type parameter of the return value is inferred from data types of parameters; they are currently implemented in the GHC compiler as a non-standard extension, used by, among others, darcs.

[edit] External links

Wikibooks has a book on the topic of Haskell/GADT

• Page on the Haskell wiki
• Generalised Algebraic Data Types in the GHC Users' Guide
• "Simple unification-based type inference for GADTs" – (PDF; by Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn.
• "First-Class Phantom Types" – (by James Cheney and Ralf Hinze)
• Generalized Algebraic Data Types and Object-Oriented Programming
• GADTs – Haskell Prime – Trac
• "Generalised Algebraic Data Types, Phantom Types and Dependent Types"

v • d • e Data types Uninterpreted Bit · Byte · Word Numeric Integer · Fixed-point · Floating-point · Rational · Complex · Bignum · Interval Text Character · String Pointer Address · Reference Composite Product · Record · Class · Object · Union (tagged) · Array · Associative array · Set · List · Algebraic data type (generalized) Other Bottom type · Void · Unit type · Top type · Boolean · Enumerated type · First-class function · Opaque data type · Stream · Exception · Collection · Recursive data type · Type class Related topics Data structure · Subtyping · Primitive data type · Abstract data type · Template · Interface · Parametric polymorphism · Type constructor · Kind (type theory)

This type theory-related article is a stub. You can help Wikipedia by expanding it. v • d • e