Skip to content
scrambled
Programming Language Theory Concept

Tagged union

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