polytype

名词 n. 动词 v.
中文释义

英文释义

名词 n.
  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.
动词 v.
  1. To produce a polytype of. transitive
    — to polytype an engraving

词形变化

polytypes plural polytypes present,singular,third-person polytyping participle,present polytyped participle,past polytyped past

词源

词源 1
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.
词源 2
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.
0 次浏览 数据来源: Wiktionary