"GADT" meaning in All languages combined

{
  "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": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English links with redundant alt parameters",
          "parents": [
            "Links with redundant alt parameters",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English links with redundant wikilinks",
          "parents": [
            "Links with redundant wikilinks",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Programming",
          "orig": "en:Programming",
          "parents": [
            "Computing",
            "Software engineering",
            "Technology",
            "Computer science",
            "Engineering",
            "Software",
            "All topics",
            "Sciences",
            "Applied sciences",
            "Media",
            "Fundamental",
            "Communication"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "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": [
        {
          "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"
}