polytype
Jump to navigation
Jump to search
See also: polytypé
English[edit]
Etymology[edit]
Noun[edit]
polytype (plural polytypes)
- Any of the types involved in polytypism.
- Orthochrysotile is a polytype of chrysotile.
- A cast, or facsimile copy, of an engraved block, matter in type, etc.
- 1825, Thomas Curson Hansard, Typographia, an Historical Sketch of the Origin and Progress of the Art of Printing:
- 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
- (computing theory) In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
- Coordinate term: monotype
Verb[edit]
polytype (third-person singular simple present polytypes, present participle polytyping, simple past and past participle polytyped)
- (transitive) To produce a polytype of.
- to polytype an engraving
French[edit]
Pronunciation[edit]
Verb[edit]
polytype
- inflection of polytyper: