《Two Dozen Short Lessons in Haskell》学习（十六）- Definitions with Alternatives

 《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还是先看其它一些入门书籍吧，这本书配套着学学还是不错的。

第16章 带条件分支的函数定义

1 Guards in function definitions

a hide the internal details of the function from other software components

b remove some of the elements from the sequence

c select the formula that delivers the value of the function

d protect the function from damage by cosmic rays

 

2 The formula map reverse ["able", "was", "I"] delivers the value

a ["I", "saw", "elba"]

b ["elba", "saw", "I"]

c ["I", "was", "able"]

d ["able", "was", "I", "not"]

 

3 The formula map f xs delivers the value

a f x

b [f x | x <- xs]

c f xs

d [f xs]

 

4 Which of the following formulas is equivalent to the formula [g x y | y <- ys] ?

a (map . g x) ys

b (map g x) ys

c map (g x y) ys

d map (g x) ys

 

5 The following function delivers

HASKELL DEFINITION • h xs

HASKELL DEFINITION •     | xs == reverse xs = "yes"

HASKELL DEFINITION •     | otherwise = "no"

a "yes", unless xs is reversed

b "yes" if its argument is a palindrome, "no" if it’s not

c "no" if xs is not reversed

d "yes" if its argument is written backwards, "no" if it’s not

 

6 The following function

HASKELL DEFINITION • s x

HASKELL DEFINITION •     | x < 0    = -1

HASKELL DEFINITION •     | x == 0 = 0

HASKELL DEFINITION •     | x > 0    = 1

a the value of its argument

b the negative of its argument

c a code indicating whether its argument is a number or not

d a code indicating whether its argument is positive, negative, or zero

 

7 Assuming the following definitions, which of the following functions puts in sequence of x’s in place of all occurrences of a given word in a given sequence of words?

HASKELL DEFINITION • rep n x = [ x | k <- [1 . . n]]

HASKELL DEFINITION • replaceWord badWord word

HASKELL DEFINITION •     | badWord == word = rep (length badWord) ’x’

HASKELL DEFINITION •     | otherwise = word

a censor badWord = map (replaceWord badWord)

b censor badWord = map . replaceWord badWord

c censor badWord = replaceWord badWord . map

d censor badWord = map badWord . replaceWord

 

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

答

案

在

下

面

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

1 c

在函数定义里还可以有分支，当满足某种条件时，用一种定义，当满足另外的条件时，用另外一套定义。有点像C语言中的switch语句。

f x
    | x > 0 = 1
    | otherwise = -1

 

2 b

这道题容易做错。

先想想reverse ["able", "was", "I"]的结果是什么就不容易做错了。

以前提到过reverse函数的意思是把一个列表中的元素倒序排列， ["able", "was", "I"]这个里面有三个元素，倒过来就是[“I”, "was", "able"]。

那么map reverse函数的功能就可以这样描述了：把一个列表xsFather中的每个元素xsChild（本身还是一个列表）里的内容倒序。上例中xsFather就是["able", "was", "I"]，第一个元素是xsChild就是“able”，倒过来就是"elba"，这样map函数的意思也就清楚了，就是把reverse函数都作用于每个元素。

 

3 b

这里就是map函数的定义：

map f xs = [f x | x <- xs] 

每一个参数f本身也是个函数，它要作用于后面xs里的每个元素x上，即f x。

第二个参数xs是一个列表，实际上就是把函数f遍历作用于xs中的元素上。

 

4 d

根据柯里函数的定义，g x也是一个函数，不妨记为h，那么

map (g x) ys = map h ys = [ h y | y <- ys]

这样应该好理解一些了。

对于柯里函数搞不懂的，需要认真学习高阶函数和不全函数等概念，一开始挺难理解的:-( 

参见：《Two Dozen Short Lessons in Haskell》学习（九）- Types of Curried Forms and Higher Order Functions

 

5 b

就是一个回文序列的判断函数，如果是回文，就返回"yes"，否则返回"no"

h xs

     | (xs == reverse  xs)        = "yes"    -- 当一个序列如果等于它的反序时

     | otherwise                     = "no"

加上括号就好理解一些了。

在haskell中这个竖线就叫guard，注意缩进。每一条竖线后面跟着一个布尔表达式，当它满足时就用=后面的定义，不满足时，继续判断下一个guard条件。 

 

6 d

这个很简单，就是通常的求一个数的正负符号的函数。

 

7 a

rep n x = [ x | k <- [1 . . n]] 这个函数可以把x重复n次，这里的x并没有说是什么类型。

例如：rep 3 2 就等于[2,2,2]

rep 3 '2'就是['2', '2', '2']，即"222"

guard条件是：     | badWord == word

紧接的定义是：  = rep (length badWord) ’x’

就是把badWord全换为字符'x'

replaceWord "fuucck" "fuucck"就等于"xxxxxx"

这个函数可以用于去掉文章中不文雅的词。