Meaning of GADT | Babel Free
Definitions
Initialism of generalized algebraic data type.
abbreviation, alt-of, initialism
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.