polytype Englisch

Bedeutung polytype Bedeutung

Was beudeutet auf Englisch polytype?

polytype noun

— 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.

polytype verb

— (transitive) To produce a polytype of.

Suchen Sie vielleicht...?