polytype

多种类型的, 多型的

发音

US

词形变化

polytypes 复数 polytypes polytyped polytypes 三单 polytyping polytyping 现在分词 polytyped 过去式 polytyped 过去分词

释义与例句

n.
  1. 1.

    Any of the types involved in polytypism.

    Orthochrysotile is a polytype of chrysotile.

  2. 2.

    A cast, or facsimile copy, of an engraved block, matter in type, etc.

  3. 3.

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

    计算机 工程 数学
v.
  1. 1.

    To produce a polytype of.

    及物

    to polytype an engraving

词源

From poly- + type.

来源：wiktionary