Dictionary

polytype en · NOUN

Pronunciation

• (US) audio

Etymology

Etymology tree Proto-Indo-European *pleh₁-der. Proto-Indo-European *polh₁ús Ancient Greek πολῠ́ς (polŭ́s)lbor. English poly- English type English polytype From poly- + type.

Meanings

1. Any of the types involved in polytypism.
   • Orthochrysotile is a polytype of chrysotile.
2. A cast, or facsimile copy, of an engraved block, matter in type, etc.
   • 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 1825, Thomas Curson Hansard, Typographia, an Historical Sketch of the Origin and Progress of the Art of Printing:
3. In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.

Forms

Coordinates

monotype

polytype en · VERB

Pronunciation

• (US) audio

Etymology

Etymology tree Proto-Indo-European *pleh₁-der. Proto-Indo-European *polh₁ús Ancient Greek πολῠ́ς (polŭ́s)lbor. English poly- English type English polytype From poly- + type.

Meanings

1. (transitive) To produce a polytype of.
   • to polytype an engraving

Forms