本文主要是介绍《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
需要一些时间慢慢分析一下。
这篇关于《Two Dozen Short Lessons in Haskell》（二十一）在形式参数中使用模式匹配的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
