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.