POLYTYPE

Etymology

Noun

polytype (plural polytypes)

Any of the types involved in polytypism.

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

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

Coordinate term: monotype

Verb

polytype (third-person singular simple present polytypes, present participle polytyping, simple past and past participle polytyped)

(transitive) To produce a polytype of.

Source: Wiktionary

---

Pol"y*type, n. Etym: [Poly- + -type.] (Print.)

Definition: A cast, or facsimile copy, of an engraved block, matter in type, etc. (see citation); as, a polytype in relief. By pressing the wood cut into semifluid metal, an intaglio matrix is produced: and from this matrix, in a similar way, a polytype in relief is obtained. Hansard.

Pol"y*type, a. (Print.)

Definition: Of or pertaining to polytypes; obtained by polytyping; as, a polytype plate.

Pol"y*type, v. t. [imp. & p. p. Polytyped; p. pr. & vb. n. Polytyping.] (Print.)

Definition: To produce a polytype of; as, to polytype an engraving.

Source: Webster’s Unabridged Dictionary 1913 Edition

---

Do you know this game?

Wordscapes is a popular word game consistently in the top charts of both Google Play Store and Apple App Store. The Android version has more than 10 million installs. This guide will help you get more coins in less than two minutes of playing the game. Continue reading Wordscapes: Get More Coins