《Two Dozen Short Lessons in Haskell》(二十一)在形式参数中使用模式匹配

《Two Dozen Short Lessons in Haskell》(Copyright © 1995, 1996, 1997 by Rex Page,有人翻译为Haskell二十四学时教程,该书如果不用于赢利,可以任意发布,但需要保留他们的copyright)这本书是学习 Haskell的一套练习册,共有2本,一本是问题,一本是答案,分为24个章节。在这个站点有PDF文件。几年前刚开始学习Haskell的时候,感觉前几章还可以看下去,后面的内容越来越难以理解。现在对函数式编程有了一些了解后,再来看这些题,许多内容变得简单起来了。

初学Haskell之前一定要记住:

把你以前学习面向过程的常规的编程语言,如Pascal、C、Fortran等等统统忘在脑后,函数式编程完全是不一样的编程模型,用以前的术语和思维来理解函数式编程里的概念,只会让你困惑和迷茫,会严重地影响你的学习进度。

这个学习材料内容太多,想把整书全面翻译下来非常困难,只有通过练习题将一些知识点串起来,详细学习Haskell还是先看其它一些入门书籍吧,这本书配套着学学还是不错的。

第二十一章 Patterns as Formal Parameters

 

1 The formula (x : xs) is equivalent to

a x ++ xs

b [x] ++ xs

c [x] ++ [xs]

d all of the above

 

2 The definition

HASKELL DEFINITION • f(x : xs) = g x xs

HASKELL DEFINITION • f [ ] = h

a defines h in terms of g

b defines f for arguments that are either empty or non-empty sequences

c will not work if xs is the empty sequence

d all of the above

 

 

3 The definition

HASKELL DEFINITION • f(x : xs) = g x xs

is equivalent to

a f xs | null xs = g x xs

b f xs = g x xs || h

c f xs | not(null xs) = g (head x) (tail xs)

d f x xs = g(x : xs)

 

4 Which of the following defines a function of type ([Char], Char) -> [Char] ?

a f( (x : xs), ’x’ ) = [x] ++ reverse xs ++ [’x’]

b f( x , y : ys ) = [ ] ++ reverse ys ++ [x]

c f( (xs : ’x’), x ) = [x] ++ reverse xs ++ [’x’]

d all of the above

 

5 Which of the following formulas delivers every third element of the sequence xs?

a foldr drop [ ] xs

b [ foldr drop [ ] suffix | suffix <- iterate (drop 3) xs ]

c [ x | (x : suffix) <- takeWhile (/= [ ]) (iterate (drop 3) (drop 2 xs)) ]

d takeWhile (/= [ ]) (iterate (take 3) xs)

=============================

=============================

1 b

与通常的过程式编程语言不同,Haskell中的函数的参数可以进行模式匹配!

最常用的模式就是这个x : xs了,在Haskell中(:)称为sequence constructor,对于一个序列来说,x表示第一个元素,而xs就表示剩下的序列了。

而 (++)称为append operator 不能用于函数参数的模式匹配定义中

 

2 b

这里有两条定义,第二条可以匹配空列表,第一条可以匹配其它情况

 

3 c

不明白两个竖杠是什么意思?

 

4 a

根据后面的[x]和['x’]是同一个类型推断,x是Char类型,那么xs就是[Char]类型

b选项不仅仅应用于([Char],Char),还可以应用于其它类型,f :: (a, [a]) -> [a]

c中的(xs:’x’)应该是无法匹配的,根据reverse xs ++ [’x’],可以推断xs是[Char],这样(xs:’x’)里的'x’就应该是[[Char]]类型,所以会报语法错。

 

5 c

需要一些时间慢慢分析一下。

posted @ 2013-05-27 18:07  申龙斌的程序人生  阅读(841)  评论(0编辑  收藏  举报