Haskell 学习笔记-02：函数是第一类对象

函数是第一类对象

第一 类 对象（ first- class object） 指可在运行期创建， 可用作函数参数或返回 值， 可存入变量的实体。 最常见的用法就是匿名函数。

在学数学的时候，经常见到下面这些表示方法：

x=123f(x)=x2+3x−12g(x,y)=xy+5x2−log(y) x = 123 f ( x ) = x 2 + 3 x − 12 g ( x , y ) = x y + 5 x 2 − l o g ( y )

等号 = 表明了两边表达式的绑定关系。在 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。