English Explanatory Dictionary

polytype

English dictionary entry

Meanings

noun
  1. Any of the types involved in polytypism.
  2. A cast, or facsimile copy, of an engraved block, matter in type, etc.
  3. In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
verb
  1. To produce a polytype of.

Pronunciation

LL-Q1860 (eng)-Naomi Persephone Amethyst (NaomiAmethyst)-polytype.wav

Word forms

polytype polytypes polytyping polytyped

Etymology

From poly- + type.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on P Russian dictionary Dahl dictionary