#### 3.2.1 Haskell 常用内置函数
- **succ**。succ 函数返回一个数的后继。比如:
```haskell
Prelude> succ 10
11
```
注意Haskell中函数的调用参数是使用空格的,这一点和传统的编译型语言有很大的不同。
- **pred**。pred函数和succ函数相反,它返回一个数字的前驱。比如:
```haskell
Prelude> pred 10
9
```
- **min**。min函数接收两个数字参数,返回这两个数字的最小值。比如:
```haskell
Prelude> min 10 3.4
3.4
```
如果要比较多个数字的最小值,直接传递多个数字作为参数会报错,比如:
```haskell
Prelude> min 1 19 23
:21:1:
Non type-variable argument in the constraint: Num (a -> t)
(Use FlexibleContexts to permit this)
When checking that ‘it’ has the inferred type
it :: forall a t. (Num a, Num (a -> t), Ord (a -> t)) => t
```
我们可以通过多次调用min函数(注意需要加括号)来解决:
```haskell
Prelude> min 1 (min 9 23)
1
```
- **max**。max函数返回两个数字的最大值。比如:
```haskell
Prelude> max 9.9 9.0
9.9
```
- Haskell中**函数**拥有最高的优先级。下面两句是等效的:
```haskell
Prelude> succ 10 + max 10 20 * 3
71
Prelude> (succ 10) +(max 10 20)*3
71
```
注意`succ 9*10`的值是100而不是91,这是因为计算的顺序是先计算`succ 9`得到10,然后再计算`10*10=100`,如果我们要计算9*10的后继,需要写成`succ (9*10)`的形式。
- **div**。div函数计算一个整数除以另外一个整数的结果,比如:
```haskell
Prelude> div 10 3
3
Prelude> div 10 5
2
```
需要注意的是,div函数接收的两个参数必须是整数,第一个是被除数,第二个是除数,如果除不尽则返回商,舍弃余数。传入数字不能是浮点数,比如下面的形式会报错:
```haskell
Prelude> div 1.2 3
:31:1:
No instance for (Fractional a0) arising from a use of ‘it’
The type variable ‘a0’ is ambiguous
Note: there are several potential instances:
instance Integral a => Fractional (GHC.Real.Ratio a)
-- Defined in ‘GHC.Real’
instance Fractional Double -- Defined in ‘GHC.Float’
instance Fractional Float -- Defined in ‘GHC.Float’
In the first argument of ‘print’, namely ‘it’
In a stmt of an interactive GHCi command: print it
```
#### 3.2.2 构建自己的函数
- doubleMe。doubleMe函数的定义如下:
```haskell
doubleMe x = x + x -- 将数字变为两倍
```
这个函数非常简单,就是返回一个数字的两倍。注意上面函数的定义方式:首先是函数名字,然后是空格分隔的参数,接着是等于号,等于号后面的是函数的实现。要运行这个函数,需要把它写在一个文件里,比如add.hs,然后输入ghci进入命令行模式,输入`:l add.hs`就可以加载函数了。下面是它的调用计算结果:
```haskell
Prelude> :l add.hs
[1 of 1] Compiling Main ( add.hs, interpreted )
Ok, modules loaded: Main.
*Main> doubleMe 2
4
*Main> doubleMe 3
6
```
- **doubleUs**。该函数接收x,y两个参数,然后返回这两个参数之和的两倍。定义如下:
```haskell
doubleUs x y = x*2 + y*2 -- 两个数字变为两倍然后相加
```
调用计算结果为:
```haskell
*Main> doubleUs 1 3
8
*Main> doubleUs 0 2
4
```
- **useDoubleMe**。该函数功能和`doubleUs`一样,只不过其调用了`doubleMe`两次,代码如下:
```haskell
useDoubleMe x y = doubleMe x + doubleMe y -- 调用简单函数
```
对了,忘了说了,haskell中注释是`--`。
- **doubleSmallNumber**。该函数使用`if else`语句实现的功能是:如果x小于100则返回x;否则返回x的两倍。代码如下:
```haskell
doubleSmallNumber x = if x < 100 then x else 2*x --如果x小于100返回x,否则返回2*x
```
调用结果为:
```haskell
*Main> doubleSmallNumber 20
20
*Main> doubleSmallNumber 200
400
```
需要注意的是Haskell中if和else一定是一起出现的,else不可以省略,而且本质上if和else都是需要返回一个值。Haskell中所有的函数和表达式都需要返回一个结果,if语句就是一个表达式,所以它一定会返回一个结果。
- **doubleSmallNumber'**。doubleSmallNumber'函数(注意函数最后有一个`'`)返回的结果是doubleSmallNumber返回值加1,定义为:
```haskell
doubleSmallNumber' x = (if x < 100 then x else 2*x) + 1 -- doubleSmallNumber返回值加1
```
我们通常在Haskell中在函数名字最后加一个`'`来表示对某个函数稍微修改之后得到的新函数。上面的函数如果把括号去掉,那么只会在`x>=100`的时候加1了。另外需要注意的是,Haskell的函数名字开头不能是大写字母。
- **conanO'Brien**。conanO'Brien是一个没有参数的函数,这样的函数也被称为"定义"或者"名字"。conanO'Brien定义如下:
```haskell
conanO'Brien = "It's a-me, Conan O'Brien!" -- 没有参数的函数
```
上面的conanO'Brien函数定义好了之后,`conanO'Brien`就与字符串`"It's a-me, Conan O'Brien!"`等价了,而且字符串的值是不可以修改的。