1.

GADT meaning in General ?

Answer» What is Generalized Algebraic Data Type mean?

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.

reference nan


Discussion

No Comment Found

Related FullForms