GADT

English

Pronunciation

• Rhymes: -iː

Noun

GADT (plural GADTs)

1. (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.