Algebraic Data Type

+An Algebraic Data Type (ADT) provides a structured way to build complex data from simpler parts. It combines types using "sums" (choices, like an enum) and "products" (combinations, like a record or tuple). This fundamental concept, often seen in [Functional Programming](/wiki/functional_programming), enables robust data modeling and type-safe code, drawing power from [Type Theory](/wiki/type_theory).

+## See also

+- [Sum Type](/wiki/sum_type)

+- [Product Type](/wiki/product_type)

+- [Pattern Matching](/wiki/pattern_matching)