Wiki
Clone wikiinf225 / glossary / Sum type
[Alphabetical Index | Tag Index]
Sum type* (also Union type,Tagged union)
A composite data type that describes the a choice of multiple possible types. An algebraic data type with multiple constructors is an example of a sum union type (each constructor corresponds to a product type). In a set-theoretic interpretation of types, this corresponds to disjoint union on sets.
Updated