Questions tagged [algebraic-data-types]

Algebraic data structures are created using combinations of sums, products, and recursive types with an underlying algebra. By symbolically manipulating descriptions of these types as ADTs, it is possible to derive various other interconnected data structures. The process of constructing types algebraically is closely tied to the concept of combinatorial species in the field of combinatorial mathematics.