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

4 June 2025

LEND

(verb) bestow a quality on; “Her presence lends a certain cachet to the company”; “The music added a lot to the play”; “She brings a special atmosphere to our meetings”; “This adds a light note to the program”


coffee icon

Coffee Trivia

According to Guinness World Records, the largest coffee shop is the Al Masaa Café, which has 1,050 seats. The coffee shop was inaugurated in Riyadh, Saudi Arabia, on 13 August 2014.

coffee icon