"polytype" meaning in English

See polytype in All languages combined, or Wiktionary

Noun

Forms: polytypes [plural]
Etymology: poly- + type Etymology templates: {{prefix|en|poly|type}} poly- + type Head templates: {{en-noun}} polytype (plural polytypes)
  1. Any of the types involved in polytypism.
    Sense id: en-polytype-en-noun-KM8SBiIW
  2. A cast, or facsimile copy, of an engraved block, matter in type, etc.
    Sense id: en-polytype-en-noun-bnRBWJfM
  3. (computing theory) In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers. Categories (topical): Theory of computing
    Sense id: en-polytype-en-noun-MUgMNUcB Categories (other): English entries with incorrect language header, English terms prefixed with poly- Disambiguation of English entries with incorrect language header: 17 4 74 5 Disambiguation of English terms prefixed with poly-: 16 15 49 20 Topics: computing, computing-theory, engineering, mathematics, natural-sciences, physical-sciences, sciences

Verb

Forms: polytypes [present, singular, third-person], polytyping [participle, present], polytyped [participle, past], polytyped [past]
Etymology: poly- + type Etymology templates: {{prefix|en|poly|type}} poly- + type Head templates: {{en-verb}} polytype (third-person singular simple present polytypes, present participle polytyping, simple past and past participle polytyped)
  1. (transitive) To produce a polytype of. Tags: transitive
    Sense id: en-polytype-en-verb-64my3lLK

Inflected forms

Download JSON data for polytype meaning in English (3.4kB)

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "poly",
        "3": "type"
      },
      "expansion": "poly- + type",
      "name": "prefix"
    }
  ],
  "etymology_text": "poly- + type",
  "forms": [
    {
      "form": "polytypes",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "polytype (plural polytypes)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [],
      "examples": [
        {
          "text": "Orthochrysotile is a polytype of chrysotile.",
          "type": "example"
        }
      ],
      "glosses": [
        "Any of the types involved in polytypism."
      ],
      "id": "en-polytype-en-noun-KM8SBiIW",
      "links": [
        [
          "type",
          "type"
        ],
        [
          "polytypism",
          "polytypism"
        ]
      ]
    },
    {
      "categories": [],
      "examples": [
        {
          "ref": "1825, Thomas Curson Hansard, Typographia, an Historical Sketch of the Origin and Progress of the Art of Printing",
          "text": "Towards the end of the eighteenth century , Professor Wilson of Glasgow , being engaged in a series of experiments for making etchings upon glass with fluoric acid for the purposes of art , thought it possible to make polytypes of glass from engraved copperplates",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A cast, or facsimile copy, of an engraved block, matter in type, etc."
      ],
      "id": "en-polytype-en-noun-bnRBWJfM",
      "links": [
        [
          "cast",
          "cast"
        ],
        [
          "facsimile",
          "facsimile"
        ],
        [
          "copy",
          "copy"
        ],
        [
          "type",
          "type"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Theory of computing",
          "orig": "en:Theory of computing",
          "parents": [
            "Computer science",
            "Computing",
            "Sciences",
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "17 4 74 5",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "16 15 49 20",
          "kind": "other",
          "name": "English terms prefixed with poly-",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "text": "Coordinate term: monotype"
        }
      ],
      "glosses": [
        "In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers."
      ],
      "id": "en-polytype-en-noun-MUgMNUcB",
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "data type",
          "data type"
        ],
        [
          "variable",
          "variable"
        ],
        [
          "∀",
          "∀"
        ],
        [
          "for-all",
          "for all"
        ],
        [
          "quantifier",
          "quantifier"
        ]
      ],
      "raw_glosses": [
        "(computing theory) In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers."
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "word": "polytype"
}

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "poly",
        "3": "type"
      },
      "expansion": "poly- + type",
      "name": "prefix"
    }
  ],
  "etymology_text": "poly- + type",
  "forms": [
    {
      "form": "polytypes",
      "tags": [
        "present",
        "singular",
        "third-person"
      ]
    },
    {
      "form": "polytyping",
      "tags": [
        "participle",
        "present"
      ]
    },
    {
      "form": "polytyped",
      "tags": [
        "participle",
        "past"
      ]
    },
    {
      "form": "polytyped",
      "tags": [
        "past"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "polytype (third-person singular simple present polytypes, present participle polytyping, simple past and past participle polytyped)",
      "name": "en-verb"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "verb",
  "senses": [
    {
      "categories": [],
      "examples": [
        {
          "text": "to polytype an engraving"
        }
      ],
      "glosses": [
        "To produce a polytype of."
      ],
      "id": "en-polytype-en-verb-64my3lLK",
      "raw_glosses": [
        "(transitive) To produce a polytype of."
      ],
      "tags": [
        "transitive"
      ]
    }
  ],
  "word": "polytype"
}
{
  "categories": [
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms prefixed with poly-",
    "English verbs"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "poly",
        "3": "type"
      },
      "expansion": "poly- + type",
      "name": "prefix"
    }
  ],
  "etymology_text": "poly- + type",
  "forms": [
    {
      "form": "polytypes",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "polytype (plural polytypes)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English terms with usage examples"
      ],
      "examples": [
        {
          "text": "Orthochrysotile is a polytype of chrysotile.",
          "type": "example"
        }
      ],
      "glosses": [
        "Any of the types involved in polytypism."
      ],
      "links": [
        [
          "type",
          "type"
        ],
        [
          "polytypism",
          "polytypism"
        ]
      ]
    },
    {
      "categories": [
        "English terms with quotations",
        "Quotation templates to be cleaned"
      ],
      "examples": [
        {
          "ref": "1825, Thomas Curson Hansard, Typographia, an Historical Sketch of the Origin and Progress of the Art of Printing",
          "text": "Towards the end of the eighteenth century , Professor Wilson of Glasgow , being engaged in a series of experiments for making etchings upon glass with fluoric acid for the purposes of art , thought it possible to make polytypes of glass from engraved copperplates",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A cast, or facsimile copy, of an engraved block, matter in type, etc."
      ],
      "links": [
        [
          "cast",
          "cast"
        ],
        [
          "facsimile",
          "facsimile"
        ],
        [
          "copy",
          "copy"
        ],
        [
          "type",
          "type"
        ]
      ]
    },
    {
      "categories": [
        "en:Theory of computing"
      ],
      "examples": [
        {
          "text": "Coordinate term: monotype"
        }
      ],
      "glosses": [
        "In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers."
      ],
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "data type",
          "data type"
        ],
        [
          "variable",
          "variable"
        ],
        [
          "∀",
          "∀"
        ],
        [
          "for-all",
          "for all"
        ],
        [
          "quantifier",
          "quantifier"
        ]
      ],
      "raw_glosses": [
        "(computing theory) In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers."
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "word": "polytype"
}

{
  "categories": [
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms prefixed with poly-",
    "English verbs"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "poly",
        "3": "type"
      },
      "expansion": "poly- + type",
      "name": "prefix"
    }
  ],
  "etymology_text": "poly- + type",
  "forms": [
    {
      "form": "polytypes",
      "tags": [
        "present",
        "singular",
        "third-person"
      ]
    },
    {
      "form": "polytyping",
      "tags": [
        "participle",
        "present"
      ]
    },
    {
      "form": "polytyped",
      "tags": [
        "participle",
        "past"
      ]
    },
    {
      "form": "polytyped",
      "tags": [
        "past"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "polytype (third-person singular simple present polytypes, present participle polytyping, simple past and past participle polytyped)",
      "name": "en-verb"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "verb",
  "senses": [
    {
      "categories": [
        "English transitive verbs"
      ],
      "examples": [
        {
          "text": "to polytype an engraving"
        }
      ],
      "glosses": [
        "To produce a polytype of."
      ],
      "raw_glosses": [
        "(transitive) To produce a polytype of."
      ],
      "tags": [
        "transitive"
      ]
    }
  ],
  "word": "polytype"
}

This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-05-05 from the enwiktionary dump dated 2024-05-02 using wiktextract (f4fd8c9 and c9440ce). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.