Learn Haskell(三)

最新推荐文章于 2024-08-23 09:24:03 发布

iteye_6931

最新推荐文章于 2024-08-23 09:24:03 发布

阅读量228

点赞数

分类专栏： Haskell 文章标签： Haskell Tuple pair

Haskell 专栏收录该内容

4 篇文章

订阅专栏

本文介绍了Tuple的基本概念，对比了它与List的区别，并详细探讨了Tuple的应用场景，特别是Pair和Triple的操作，展示了Tuple如何确保数据的一致性和正确性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.Tuple

Tuple用来将几个元素打包成为一个值。Tuple用()包起来。看起来和List很像，但是Tuple和List有很重要的区别：

(1)List元素数量是不固定的，但是Tuple的元素数量是固定的；

(2)List必须存储同种类型的元素，但是Tuple可以存储不同类型元素。

看几个Tuple的例子：

Prelude> (1,2)
(1,2)
Prelude> (1,"a",True)
(1,"a",True)

Tuple看起来实在是和List太像了，我一开始也不知道Tuple存在的必要在哪。现在假设有这样的一种需求，我们需要表示平面上四边形的四个顶点。由于一个顶点可以由横纵坐标x、y来表示。那么一个四边形的四个顶点坐标可以这么表示[(a1,b1),(a2,b2),(a3,b3),(a4,b4)]，或者说，合法的表示也必须是这样的。当然，有人会觉得可以完全用List表示，比如：[[a1,b1],[a2,b2],[a3,b3],[a4,b4]]。看起来似乎很合理，但是如果有人不小心把其中一个点的坐标写错了，那么这个变成了

[[a1,b1,c1],[a2,b2],[a3,b3],[a4,b4]]。这样很明显是不符合实际情况的，但是对于这个 List 来说，其内部的元素[a1,b1,c1],[a2,b2],[a3,b3],[a4,b4]都是List，因此仅仅从语法角度来说，这是允许的。也就是说语法层面完全没有限制。但是如果使用Tuple，犯上面的错误[(a1,b1,c1),(a2,b2),(a3,b3),(a4,b4)]，语法层面是不通过的。这是因为含有两个元素的Tuple和含有三个元素的Tuple 是属于不同的类型，他们不能同时作为List的元素。在这种时候，Tuple的作用就体现出来了。我们还是看一个直接的例子吧：

Prelude> [(1,2),(3,4)]

[(1,2),(3,4)]

Prelude> [(1,2),(True,3)]

<interactive>:15:3:

    No instance for (Num Bool)

      arising from the literal `1'

    Possible fix: add an instance declaration for (Num Bool)

    In the expression: 1

    In the expression: (1, 2)

    In the expression: [(1, 2), (True, 3)]

Prelude> [(1,2),(3,4,5)]

<interactive>:16:8:

    Couldn't match expected type `(t0, t1)'

                with actual type `(t2, t3, t4)'

    In the expression: (3, 4, 5)

    In the expression: [(1, 2), (3, 4, 5)]

    In an equation for `it': it = [(1, 2), (3, 4, 5)]

这样就很明了了。并且从上面的例子也可以看出对于两个元素数量相同的Tuple，但是如果元素类型不完全相同，那么这两个Tuple类型也是不相同的。对于含有两个元素的Tuple又叫做pair；含有三个元素的Tuple叫做Triple。这两种算是比较常见和常用的类型。下面我们分别介绍： 2.pair的操作 (1)fst 返回pair的第一个元素(fst估计是first的简写)，看例子

Prelude> fst (1,2)
1

(2)snd

返回pair的第二个元素，看例子

Prelude> snd (1,2)
2

上面这两个操作仅仅对pair有效，但是Triple是无效的。 (3)zip 这个不好描述，直接看例子一看就明白：

Prelude> zip [1,2,3] ["1st","2nd","3rd"]
[(1,"1st"),(2,"2nd"),(3,"3rd")]
Prelude> zip [1..] ["1st","2nd","3rd"]
[(1,"1st"),(2,"2nd"),(3,"3rd")]