初识Haskell 三：函数function

对Discrete Mathematics Using a Computer的第一章Introduction to Haskell进行总结。环境Windows

---

函数毫无疑问是函数式语言的核心。

在Haskell中（无特殊指明，如下皆是指在Haskell下），一个表达式用函数完成计算被称为a function application，函数后加空格而后跟随参数(arguments)，若有多个参数，也以空格做为分隔。

函数的返回值即函数的类型，如一个函数的参数是类型a，返回值是类型b，写做a → b（在Haskell中用 -> 表示），读做a arrow b。

操做符其实也是函数，它有2个参数，写在2个参数中间，其实也能够像正常函数同样写在前面，但须要加( )如：

一样的，也能够像对待操做符同样将函数放在2个参数中间，但要加反引号( single-back-quote, ` )，如：

将函数定义在Haskell脚本文件(.hs)中，载入(在ghci中 :load)后，便可使用。

函数的声明：

　　function_name :: argType₁ -> argType₂ ->  ... ->argType_n ->resultType

函数体：

　function_name arg₁ arg₂ ... arg_n = expression that can use the arguments

　　

模式匹配pattern matching

在定义函数时，为应对不一样状况，能够有多个函数体，如：

f :: Integer -> String
f 1 = "one"
f 2 = "two"
f 3 = "three"

　is_three :: Int->Bool

　is_three 3 = False

　is_three x = True --这里的x表明任何Int值，但因为是第二条执行到这一条就表明了x不是3

　　在获得参数执行时，会从第一条开始比较是否符合，当遇到符合的才会执行，执行后即该函数执行完成，若是没有符合的会报错，如：

元组和list均可以做为函数参数，其中list有两种形式：1. [1,2,3, x ]的形式，用以表示list中有具体个数 2. x:xs 3. xs （能够用其余字母代替，若是一个叫x，它所在的list通常叫xs）。

练习题：

　　个人答案：

exercise3 :: Char -> Bool
exercise3 'a' = True
exercise3 x = False

exercise4 :: String -> Bool
exercise4 "hello" = True
exercise4 x = False

exercise5 :: String -> String
exercise5 (' ':xs) = xs
exercise5 xs = xs

 另外一种应对多种值的方法：guards。即便用bool表达式判断是否符合条件，符合则执行该行。

fact :: Integer -> Integer
fact n
    | n < 0   = 0
    | n == 0 = 1 
    | otherwise = n * fact (n - 1)

 

 

高阶函数higher order functions

　　参数和返回值都是正常的数据类型则该函数是一阶函数(first order)。以别的函数做为参数或者以其余函数做为返回结果则是高阶函数(higher order)。如：

twice :: (a -> a) -> a -> a
twice f x = f (f x)

 

函数是一次接收一个函数进行处理的，好比一个须要2个参数的函数 ，若是只给出第一个参数，那么返回的是一个须要一个参数来完成原函数的新函数(partial application)。

prod :: Integer -> Integer ->Integer
prod x y = x * y

g = prod 4
p = g 6
q = twice g 3

 

条件表达式conditional expressions

样式：

if Boolean_expression then exp1 else exp2   --then和else都必需要有，exp1和exp2的type同样。

局部变量local variables: let Expressions

　　当某个固定式子被屡次使用时，为了方即可以定义为局部变量。

　　样式：

　　　　let  equation

　　　　　　equation

　　　　　　...

　　　　　　equation

　　　　in　expression

　　上式的值为in后的expression。以求一元二次方程程序为例，要注意Tab缩进：

quadratic :: Double -> Double -> Double -> (Double, Double)
quadratic a b c = 
    let d = sqrt (b^2 - 4 * a * c)
        x1 = (-b + d) / (2 * a)
        x2 = (-b -d) / (2 * a)
    in (x1, x2)

 要注意从let到in expression，其总体就是一个表达式，以下所示：

let x = sqrt 9 in (x + 1) * (x - 1)的值为8.0(x的值为3.0)，因此2 + let x = sqrt 9 in (x + 1) * (x - 1)的值为10.0。

局部变量local variables: where

　　另外一种表达局部变量做为helper是where。如：

　　maximum :: [Int] -> Int

　　maximum [x] = x
　　maximum (x:xs)
　　　　| x > maxxs = x
　　　　| otherwise = maxxs
　　　　where maxxs = maximum xs

类型变量type variables

　　相似与Java中的泛型generics，在定义函数时不明确其类型，在应用时，根据传入参数的类型肯定，这样就只要定义一个函数就能够应对多种不一样类型，而不用为了类型不一样，一一重复定义函数，体现了其多态性，在以前的例子中也有没有指明其类型而是用字母代替的，好比

fst :: (a, b) -> a
snd :: (a, b) -> b

 类型变量必须以小写字母开头，一般用a,b...