函数是第一类对象
第一 类 对象( first- class object) 指可在运行期创建, 可用作函数参数或返回 值, 可存入变量的实体。 最常见的用法就是匿名函数。
在学数学的时候,经常见到下面这些表示方法:
等号 = 表明了两边表达式的绑定关系。在 Haskell 中,函数也是靠 = 号来定义的,上面的绑定关系可以表示如下:
x = 123
f x = x^2 + 3*x - 12
g x y = x*y + 5*x^2 -log(y)
函数的参数不需要小括号,这样,x = 123,究竟是函数还是变量?在 Haskell 中已经没有区别。在 C 语言中 x 表示变量、x() 表示函数,而这是完全不同的东西。在 Haskell 中,函数、变量、常量等,在形式上不再有区别,在本质上也是相同的东西。
今天学习了列表相关知识,下面做几个相关的练习。
练习3:顺序搜索
编写一个函数,从给定的表中搜出某个项,返回其索引编号。
search x list =
if list == [] then -1
else if x == last list then length list - 1
else search x (init list)
测试一下:
>> search 12 [1,2,3,4,5,12,34,56]
5
注意,if/then 在 Haskell 中是一个系统内置函数。
练习4:比较排序
这是最原始的排序算法,代码如下,尽管本人数学功底不错,函数式编程还是不习惯:
swap :: Ord(a) => [a] -> [a]
swap [] = []
swap (x:[]) = [x]
swap (x:y:list) =
if x < y then x:swap(y:list)
else y:swap(x:list)
sort :: Ord(a) => [a] -> [a]
sort [] = []
sort [a] = [a]
sort list =
let
tmp_list = swap list
in
sort (init tmp_list) ++ [last tmp_list]
sort 是排序函数,swap 用于把最大的一项移动到列表的最后。
let 关键词,局部变量
上面的练习。用 let 关键词定义了临时变量 tmp_list。