"GADT" meaning in English

{
  "forms": [
    {
      "form": "GADTs",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "GADT (plural GADTs)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "alt_of": [
        {
          "word": "generalized algebraic data type"
        }
      ],
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English links with redundant alt parameters",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English links with redundant wikilinks",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Programming",
          "orig": "en:Programming",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              37,
              42
            ],
            [
              119,
              124
            ]
          ],
          "ref": "2022, Anil Madhavapeddy, Yaron Minsky, Real World OCaml: Functional Programming for the Masses, Cambridge University Press, →ISBN:",
          "text": "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.",
          "type": "quote"
        }
      ],
      "glosses": [
        "Initialism of generalized algebraic data type."
      ],
      "id": "en-GADT-en-noun-3jd0rKrN",
      "links": [
        [
          "programming",
          "programming#Noun"
        ],
        [
          "generalized algebraic data type",
          "w:generalized algebraic data type"
        ]
      ],
      "raw_glosses": [
        "(programming) Initialism of generalized algebraic data type."
      ],
      "tags": [
        "abbreviation",
        "alt-of",
        "initialism"
      ],
      "topics": [
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "programming",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "rhymes": "-iː"
    }
  ],
  "word": "GADT"
}

{
  "forms": [
    {
      "form": "GADTs",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "GADT (plural GADTs)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "alt_of": [
        {
          "word": "generalized algebraic data type"
        }
      ],
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English initialisms",
        "English lemmas",
        "English links with redundant alt parameters",
        "English links with redundant wikilinks",
        "English nouns",
        "English terms with quotations",
        "Pages with 1 entry",
        "Pages with entries",
        "Rhymes:English/iː",
        "Rhymes:English/iː/4 syllables",
        "en:Programming"
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              37,
              42
            ],
            [
              119,
              124
            ]
          ],
          "ref": "2022, Anil Madhavapeddy, Yaron Minsky, Real World OCaml: Functional Programming for the Masses, Cambridge University Press, →ISBN:",
          "text": "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.",
          "type": "quote"
        }
      ],
      "glosses": [
        "Initialism of generalized algebraic data type."
      ],
      "links": [
        [
          "programming",
          "programming#Noun"
        ],
        [
          "generalized algebraic data type",
          "w:generalized algebraic data type"
        ]
      ],
      "raw_glosses": [
        "(programming) Initialism of generalized algebraic data type."
      ],
      "tags": [
        "abbreviation",
        "alt-of",
        "initialism"
      ],
      "topics": [
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "programming",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "rhymes": "-iː"
    }
  ],
  "word": "GADT"
}