Meaning of GADT | Babel Free
Examples
“Generalized Algebraic Data Types, or GADTs for short, are an extension of the variants we saw⟳ in Chapter 7 (Variants). GADTs are more expressive than regular variants, which helps you create⟳ types that more precisely match⟳ the shape⟳ of the program⟳ you want⟳ to write⟳.”
CEFR level
B1
Intermediate
This word is part of the CEFR B1 vocabulary — intermediate level.
This word is part of the CEFR B1 vocabulary — intermediate level.
See also
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free