0%

discriminated union

D d

Transcription

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

Definition of discriminated union words

  • noun Technical meaning of discriminated union (theory)   The discriminated union of two sets A and B is A + B = {(inA, a) | a in A} U {(inB, b)| b in B} where inA and inB are arbitrary tags which specify which summand an element originates from. A type (especially an algebraic data type) might be described as a discriminated union if it is a sum type whose objects consist of a tag to say which part of the union they belong to and a value of the corresponding type. 1
Just one definition for discriminated union

Information block about the term

Parts of speech for Discriminated union

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Discriminated union

See also

Matching words

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