Skip to content

polytype

noun

  1. version of a solid with a particular crystal layer stacking sequence
L220983 on Wikidata ↗

Wiktionary

noun

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

  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

  3. In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.

verb

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

  1. To produce a polytype of.

    to polytype an engraving