Haskell Tuple相关总结

一、相关操作

　　zip：将两个List合并成一个元组序对的List。

　　fst：返回元组序对第一个元素。

　　snd：返回元组序对第二个元素。

　　PS：元组序对是元组中只有两个元素的元组。

二、与List的比较

• Tuple用圆括号表示，而List用方括号表示。
• Tuple中的元素不必是相同类型，而List中的元素必须是相同类型。
• Tuple不可追加元素，而List可以在原有的基础上追加元素。
• Tuple只有在长度，内部元素类型依次相对应，才属于同种类型的元组。List类型相同，仅需内部元素类型相同。例，[1,2]与['a','b']的类型不同，所以[[1,2],['a','b']]是错误的表达式。
• Tuple不能只包含一个元素，没有实际意义。（1）表示的就是数字1。可以用[(1),2,3]的合法性，证明其与数字1相同。或者，用":t"命令直接检测其数据类型。

　　[[1,2],[1,1],[1,2,3]]的写法是正确的。

　　[(1,2),(1,1),(1,2,3)]的写法是错误的。因为List中的元素必须是相同类型的，三元组与二元组不是相同类型，则非法。