Haskell心得（1） 模式匹配、高阶函数、组合函数

摘要：介绍了haskell的几种定义函数方式：模式匹配、高阶函数、函数组合

  haskell是一种强类型的函数式编程语言。haskell里面，类型是一个核心的问题。但作为函数式编程的普遍特性，高阶函数是首先要考察的。除了高阶函数和组合函数之外，模式匹配尤其是列表的匹配是haskell的独特优点，另外point-free风格也是比较有趣的。

  模式匹配是指，函数的参数有多种可能的形式，调用时自动找到匹配的形式并调用。通常只用一个小写字母表示参数而没有特殊形式的模式称为万能模式，可以匹配除了特殊形式的任意的参数。列表和元组属于haskell的基本数据结构，常在模式匹配里使用。下面的阶乘函数是一个最简单的例子。参数或者为任意正整数，或者为0。

factorial :: Int -> Int
factorial 0 = 1
factorial n = n * factorial (n-1)

  下面是元组和列表的模式匹配。函数调用时按照元组和列表的形式选择合适的模式。

addX :: (Double, Double) -> (Double, Double) -> Double
addX (x1, _) (x2, _) = x1 + y1

length' :: [a] -> Int
length' [] = 0
length' (x:[]) = 1
length' (x:xs) = 1 + length' xs

  下面是定义函数的一些特殊形式，包括哨位（guard）、where、let、case。guard可以使函数在满足不同条件时得到不同的值，这些条件以“|”区分。case类似，实际上case就是模式匹配。where和let是函数定义时局部作用域中绑定变量或者函数。