Generalized algebraic data type
From Wiki @ Karl Jones dot com
Revision as of 10:59, 20 September 2016 by Karl Jones (Talk | contribs) (Created page with "In functional programming, a '''generalized algebraic data type''' ('''GADT''', also '''first-class phantom type''', '''guarded recursive datatype''', or '''equality-quali...")
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 algebraic data types.
See also
External links
- Generalized algebraic data type @ Wikipedia
