《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还是先看其它一些入门书籍吧,这本书配套着学学还是不错的。
第二十二章 Recursion
递归是函数式编程中的主要编程思想,从而使得代码非常简练。
1 Which of the following defines a function that delivers the same results as the intrinsic function reverse?
a rev(x : xs) = xs ++ [x]
rev [ ] = [ ]
b rev(xs : x) = x : xs
rev [ ] = [ ]
c rev(x : xs) = rev xs ++ [x]
rev [ ] = [ ]
d none of the above
2 Which of the following defines a function that would rearrange a sequence of numbers to put it in decreasing
numeric order?
a sortDecreasing = quickSortWith (>)
b sortDecreasing = quickSortWith (>) [18.01528974, 1.89533e+25, 1.05522e-24, 27.0]
c sortDecreasing = quickSortWith (>) numbers
d all of the above
3 The following function
HASKELL DEFINITION • sorta(x : xs) = insert x (sorta xs)
HASKELL DEFINITION • sorta [ ] = [ ]
HASKELL DEFINITION • insert a (x : xs)
HASKELL DEFINITION • | a <= x = [a, x] ++ xs
HASKELL DEFINITION • | otherwise = [x] ++ (insert a xs)
HASKELL DEFINITION • insert a [ ] = [a]
a delivers the same results as quicksort
b delivers the same results as quicksortWith (<)
c both of the above
d neither of the above
=============================
下
面
是
答
案
=============================
1 c
这道题很简单,如果函数定义里连rev都没有,根本就不是递归
2 a
选项b直接返回了一个确定性的列表,应该是[1.89533e+25, 27.0, 18.01528974, 1.05522e-24]
选项c多了个numbers,这个函数就返回了一个列表,而不是返回一个函数
3 c
sorta就是插入排序
quicksort默认是从小到大排序