GADT
Jump to navigation
Jump to search
English
[edit]Pronunciation
[edit]- Rhymes: -iː
Noun
[edit]GADT (plural GADTs)
- (programming) Initialism of generalized algebraic data type.
- 2022, Anil Madhavapeddy, Yaron Minsky, Real World OCaml: Functional Programming for the Masses[1], Cambridge University Press, →ISBN:
- 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.