scrambled
scrambled
Concept

Tagged union

Modified just now
JourneyProgramming Language Theory Statusmastered Tags
  • language-feature-design
  • programming paradigm
  • type theory

Synonym for Sum type - "union" because it combines variants, "tagged" because each variant has an explicit Constructor tag distinguishing it (unlike untagged Union type types).

Synonym for Sum type - "union" because it combines variants, "tagged" because each variant has an explicit Constructor tag distinguishing it (unlike untagged Union type types).