Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In programming languages and type theory, the product of two types is the type that characterizes the expressions which behaves, with respect to the evaluation mechanism, as pairs whose first component is an expression of the first type and whose second component is an expression of the second type. It is written A x B, where A and B are its component types. Elements of a product type are called tuples, and product types are thus also known as tuple types. In many languages, product types take the form of a record type, for which the components of a tuple can be accessed by label. In languages that have algebraic data types, as in most functional programming languages, algebraic data types with one constructor are isomorphic to a product type. In the Curry-Howard correspondence, product types are associated with logical conjunction (AND) in logic.

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