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

14 May 2024

CHOKER

(noun) an unfortunate person who is unable to perform effectively because of nervous tension or agitation; “he could win if he wasn’t a choker”


coffee icon

Coffee Trivia

Brazil is the largest coffee producer in the world. Each year Brazil exports more than 44 million bags of coffee. Vietnam follows at exporting over 27 million bags each year.

coffee icon