Skip to content
scrambled
Programming Language Theory Concept

Sum type

JourneyProgramming Language Theory Statusmastered Tags
  • language feature design
  • type theory

An algebraic datatype with multiple Type variants combined via "or" - a value is one of the variants, each with its own Constructor tag (e.g., BT = mt | node).

An algebraic datatype with multiple Type variants combined via "or" - a value is one of the variants, each with its own Constructor tag (e.g., BT = mt | node).