High Quality Content by WIKIPEDIA articles! In computer programming, particularly functional programming and type theory, an algebraic data type 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 to the constructor. In contrast to other datatypes, the constructor is not executed and the only way to operate on the data is to unwrap the constructor using pattern matching. The most common algebraic data type is a list with two constructors: Nil or [] for an empty list, and Cons, ::, or : for the combination of a new element with a shorter list. Special cases of algebraic types are product types i.e. tuples and records, sum types or tagged unions and enumerated types. Algebraic types are one kind of composite type. An algebraic data type may also be an abstract data type if it is exported from a module without its constructors. Values of such a type can only be manipulated using functions defined in the same module as the type itself.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.