About
An algebraic data type (wiki/Algebraic_data_type) is a data type that is the input and the output of its own operations.
Benefits
- An algebraic structure can be composed before being executed. This is a composite type
- An algebraic Structure allows a reasoning and manipulation independently of physical data representation.
Example
Number
All number are algebraic data type.
<MATH> 1 + 2 - 3 </MATH>
Relational Table
A relation (table, view, …) is an algebraic data type because every operations on a relation output a relation.