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

函数是第一类对象

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

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

$$x=123\\ f(x)=x^2+3x-12\\ g(x,y)=xy+5x^2-log(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。