Algebraic Data Type is a language feature.

In computer programming, especially functional programming and type theory, an algebraic data type is a kind of composite type, i.e., a type formed by combining other types. Two common classes of algebraic types are product types (i.e., tuples and records) and sum types (i.e., tagged or disjoint unions, coproduct types or variant types).The values of a product type typically contain several values, called fields. All values of that type have the same combination of field types. Read more on Wikipedia...

- the Algebraic Data Type Wikipedia page
- Have a question about Algebraic Data Type not answered here? Open an issue explaining what you need.
- Edit this page

Languages **with** Algebraic Data Type include TypeScript, Coconut

`declare type numOrString = string | number`

```
data Empty()
data Leaf(n)
data Node(l, r)
def size(Empty()) = 0
addpattern def size(Leaf(n)) = 1
addpattern def size(Node(l, r)) = size(l) + size(r)
```