《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

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