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



RESET




Word of the Day

12 May 2025

UNSEASONED

(adjective) not tried or tested by experience; “unseasoned artillery volunteers”; “still untested in battle”; “an illustrator untried in mural painting”; “a young hand at plowing”


coffee icon

Coffee Trivia

There are more than 50 countries that export coffee. They are near the equator, where the climate is conducive to producing coffee beans.

coffee icon