In computer programming, an algebraic data type (sometimes also called a variant type[1]) is a datatype each of whose values is data from other datatypes wrapped in one of the constructors of the datatype. Any wrapped datum is an argument …

A data type (or datatype) in programming languages is a set of values and the operations on those values.