《Two Dozen Short Lessons in Haskell》学习(六
《Two Dozen Short in 》( © 1995, 1996, 1997 by Rex Page,有人翻译为二十四学时教程,该书如果不用于赢利,可以任意发布,但需要保留他们的)这本书是学习 的一套练习册,共有2本,一本是问题,一本是答案,分为24个章节。在这个站点有PDF文件。几年前刚开始学习的时候,感觉前几章还可以看下去,后面的内容越来越难以理解。现在对函数式编程有了一些了解后,再来看这些题,许多内容变得简单起来了。
初学之前一定要记住:
把你以前学习面向过程的常规的编程语言,如、C、等等统统忘在脑后,函数式编程完全是不一样的编程模型,用以前的术语和思维来理解函数式编程里的概念,只会让你困惑和迷茫,会严重地影响你的学习进度。
这个学习材料内容太多,想把整书全面翻译下来非常困难,只有通过练习题将一些知识点串起来,详细学习还是先看其它一些入门书籍吧,这本书配套着学学还是不错的。
第六章 of — , , and
1 that post is a that, given two , the one that the other in the
(post ’x’ ’y’ is ’y’; post ’u’ ’p’ is ’u’). Then the post
a the from that comes in the
b the from that comes in the
c the first from
d the last from
2 that && is an that, given two , True if both are True and False .
Then the (&&) [False, True, False, True, True] the value
a True
b False
c Maybe
d — the doesn’t make sense
3 In the f [a, b, c, d]
a a, b, c, and d must have the same type
b f must a value of the same type as its
c f must be a that two
d all of the above
4 If f is a that two , then f is a that
a no
b one
c two
d three
5 The of must be
a a
b a
c a of
d a of
6 If next is a that, given a , the next of the , then the in the
[next c | c the
a "lah"
b "ibm"
c "alm"
d "lha"
7 The "is \"hot\" now"
a has four marks in it
b has two and two back-
c has 12 , two
d has 14 , two
=========================================================
先
不
要
看
答
案
=========================================================
1 b
是个相当强大的内置函数,它可以在一个列表内的每两个元素之间都插入一个运算符。
如: (+) [1..10]就是1+2+3+4+5+6+7+8+9+10,即返回55。
fold后面的字母r表示这个运算符是向右连接的(如何解释?)。
的强大在于这个列表不仅仅指数值,还可以把函数连接起来,如 (.) [f, g, h]就是(f . g . h),这里的f,g,h都是函数
用括号把一个运算符包起来,表示是一个函数,如(+)和(.)
如果写成 . [f, g, h],就会把中间的点解释成一个运算符,从而报错。
所以(+) 2 3也就是指2+3,前面这种表达式在LISP语言中常见。
post "" == 's'
2 b
(&&) [False, True, False, True, True]就是False && True && False && True && True,就是“与”运算,返回False
函数的中缀表示法:div 5 2 == 5 `div`2。注意那个反向的`符号。
3 d
f [a, b, c, d]
[a, b, c, d]列表必须要保证里面的元素都是同一种类型,[1, “a”]会报错
函数f一定有两个参数,两个参数与返回值都是同一种类型,后面学过类型后,f的类型应该是a –> a –> a。以前面的&&为例,a && b等价于(&&) a b,注意&&要用括号引起来。
想看一个函数的类型,可以在ghci(或)中,执行:t 命令,后面跟上函数名称即可,例如 :t
得到: :: (a -> a -> a) -> [a] –> a
4 b
有几个参数与f是无关的,总是需要2个参数,第一参数是一个函数(没错,函数也可以做为参数),第二个参数是一个列表
f需要1个参数
5 a
的第二个参数是一个列表,这个列表可以是数值,也可以是函数
如第一题讲的, (+) [1,2,3,4]中第二个参数是数值的列表
(.) [f, g, h]中第二个参数是函数的列表,f, g, h都是函数
6 b
next得到一个字母在字母表中的下一个字母
[next c | c 对于"hal"中的每一个字符c,都调用 next c 函数,得到"ibm"
7 c
字符串的表示方式与C语言基本上一样,在表示引号时需要用转义符,"is \"hot\" now",有2个空格、2个引号、8个字母,共12个字符