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
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
8 January 2025
(noun) Eurasian maple tree with pale grey bark that peels in flakes like that of a sycamore tree; leaves with five ovate lobes yellow in autumn
The first coffee-house in Mecca dates back to the 1510s. The beverage was in Turkey by the 1530s. It appeared in Europe circa 1515-1519 and was introduced to England by 1650. By 1675 the country had more than 3,000 coffee houses, and coffee had replaced beer as a breakfast drink.
