元组

A类元组是一个数学的 定义。它是一个有限的，有限的对象的有序列表（不需要是同一类型）。它的符号是<项1，项2，项>。

类似，但与设置，元组是元素它们不必是相同的类型.2元组通常称为一对、和后续元组属于n个元素被称为n元组。形式化定义有限自动机是元组的一个示例。

说你有类型秒T₁，T型₂, ..., T型_k个.我们查看类型T_我作为设置秒该类型的对象。然后k个-元组类型T=T₁×...×T_k个是一组元素(一₁,...,一_k个)每个一_我来自其各自的T_我.

这是混凝土例子. (真的，17，3.14159）是类型为的元组布尔×整数×浮动.薄片是有序，所以（1,2）和（2,1）是不同的类型的元组整数×整数.

Tuples有点类似记录秒(结构中的C类). 但是，尽管记录的每个元素都有一个名称，元组不按名称区分其元素，而只按位置区分。

许多函数式程序设计语言s将元组作为复合类型提供。Prolog公司的函子s是一个类似的构造。我听说并行处理语言琳达广泛使用元组。