GADT

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Pronunciation

[edit]

Noun

[edit]

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.