《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"

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

posted @ 2013-03-05 06:51  申龙斌的程序人生  阅读(789)  评论(0编辑  收藏  举报