标签：
只看定义的话，Tuple会被理解为元素不可变(immutable)的List。但如果只是如此，完全没有必要引入一个新的类型。
这里有一个很有意思的讨论。其中举了个例子。比如你去散步，在每一时刻，你都可以记录下自己的位置，比如$(x,y)$，这是一个Tuple；把这个坐标点放到一个List中，然后每隔一段时间，增添新的坐标点。这样很符合逻辑。但反过来就讲不通了。这反映了Tuple内的各元素之间很强的互补关系--它们共同描述了一个个体。在这个例子中，就是一个坐标点；你如果试图去掉其中的$x$坐标，从两维降到一维，这个Tuple就没有意义了--没人知道它代表那个点。这是Tuple元素不可增添或删减的原因。
另一方面，各坐标点之间的关系则只有先后关系，没有强烈的逻辑关联。所以你如果去掉List的末尾一个坐标点--没问题，现在的List表示的是在你到达倒数第二点前的路线。
用上述讨论中的一句话总结，就是“List有（先后）次序，Tuple有（逻辑）结构”。
另一个说法也很有道理，Tuple是一个微型的Class。毫无疑问，Class中的所有元素都是为了描述同一个事物而存在。
（按照最小化的思想，Tuple的确不必引入。但从理解一段代码的角度，看到一个Tuple，我们马上就知道它在描述一件事物，逻辑上显然更加清晰易懂。）
标签：
原文地址：http://www.cnblogs.com/infty/p/4215548.html
