出典:Wikipedia
出典:『Wikipedia』 (2011/04/15 12:18 UTC 版)
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 × 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 pair types or tuple types.