polytype

Tanımlar (İngilizce)

1. isim Any of the types involved in polytypism.

   “Orthochrysotile is a polytype of chrysotile.”

2. isim 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. isim In the Hindley–Milner type system, a data type containing variables bound by one or more ∀ (for-all) quantifiers.
4. fiil To produce a polytype of.

   “to polytype an engraving”