0%

constructed type

C c

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of constructed type words

  • noun Technical meaning of constructed type (types)   A type formed by applying some type constructor function to one or more other types. The usual constructions are functions: t1 -> t2, products: (t1, t2), sums: t1 + t2 and lifting: lift(t1). (In LaTeX, the lifted type is written with a subscript \perp). See also algebraic data type, primitive type. 1
Just one definition for constructed type

Information block about the term

Parts of speech for Constructed type

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Constructed type

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?