HomeServicesBlogDictionariesContactSpanish Course
← Back to search

Meaning of GADT | Babel Free

Noun CEFR B1

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.

See also

Learn this word in context

See GADT used in real conversations inside our free language course.

Start Free Course