`

Learn Haskell(三)

阅读更多

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")]
 
1
3
分享到:
评论

相关推荐

    haskell语言教程(learn you a haskell)

    3. 第三部分可能会涉及Monads,解释其工作原理和如何使用它们来管理副作用。 4. 第四部分可能包括IO操作,展示如何在纯函数式环境中进行输入输出。 5. 还可能有高级主题,如类型家族、GADTs(通用关联类型)和...

    Get Programming with HASKELL

    By working through 43 easy-to-follow lessons, you'll learn Haskell the best possible way—by doing Haskell! Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from ...

    learn you haskell

    Haskell 学习资料,Learn you a Haskell.

    Learn You A Haskell For Great Good Mar 2011.pdf

    ### 关于《Learn You A Haskell For Great Good》的知识点总结 #### 一、书籍基本信息概述 本书名为《Learn You A Haskell For Great Good》,是一本专为Haskell编程语言初学者编写的指南。作者是Miran Lipovaca,...

    learn your haskell的英文电子版

    http://learnyouahaskell.com/ 这个网站的pdf版,比较系统的haskell教程,不过是英文的

    Haskell 文档

    - Learn You a Haskell for Great Good!: 一本面向初学者的Haskell教程,风格幽默,内容详尽。 以上内容概括了Haskell文档中的主要知识点,希望能帮助读者更好地理解Haskell语言的特点及其在实际开发中的应用。

    learn-haskell:学习haskell

    为了学习Haskell,你可以参考《Haskell编程从入门到实践》、《Real World Haskell》等书籍,以及在线教程如"Learn You a Haskell for Great Good!"。此外,Stack Overflow、Haskell Cafe和Haskell subreddit等社区...

    学习您的haskell笔记本:Jupyter改编的《 Learn a Haskell for Great Good!

    《学习您的Haskell笔记本》是基于Jupyter Notebook的Haskell学习资源,改编自经典的Haskell教程《Learn You a Haskell for Great Good!》。这个项目旨在为Haskell初学者提供一个交互式的学习环境,通过Jupyter ...

    learn-haskell:探索Haskell

    在本文中,我们将深入探讨Haskell这一纯函数式编程语言,它是编程..."learn-haskell-master"这个项目可能是Haskell初学者的学习资源,包含教程、示例代码和练习,对于想要深入理解Haskell的人来说是一个很好的起点。

    haskell-first-principles:“基于第一原理的Haskell”的注释和实现

    《基于第一原理的Haskell》是一本深入探讨Haskell编程语言的著作,旨在通过解析Haskell的核心概念,帮助读者从基础出发理解这门函数式编程语言。Haskell以其纯净的函数式特性、静态类型系统和强类型推导而闻名,是...

    Learn_You_a_Haskell_for_Great_Good.pdf

    文档的标题“Learn_You_a_Haskell_for_Great_Good.pdf”和描述部分表明这本书是关于学习Haskell语言的入门指南。Haskell是一种高级的纯函数式编程语言,它具有强类型系统和惰性求值特性。它以其在编程语言理论领域的...

Global site tag (gtag.js) - Google Analytics