View source for Generalized algebraic data type

In [[functional programming]], a '''generalized algebraic data type''' ('''GADT''', also '''first-class phantom type''', '''guarded recursive datatype''', or '''equality-qualified type''') is a generalization of [[Parametric polymorphism|parametric]] [[Algebraic data type|algebraic data types]].

== See also ==

* [[Algebraic data type]]
* [[Parametric polymorphism]]
* [[Type variable]]

== External links ==

* [https://en.wikipedia.org/wiki/Generalized_algebraic_data_type Generalized algebraic data type] @ Wikipedia


[[Category:Computing]]