第 1 章 各就各位，预备！
Haskell趣学指南
如果你属于那种从不看前言的人，我建议你还是回头看一下本书前言的最后一节比较好。那里讲解了如何使用本书，以及如何通过GHC加载函数。
首先，我们要做的就是进入GHC的交互模式，调用几个函数，以便我们简单地体验一把Haskel。打开终端，输入ghci，可以看到如下欢迎信息：
GHCi, version 6.12.3: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package ffi-1.0 ... linking ... done. 注意：
GHCi的默认命令行提示符为Prelude>，不过在本书接下来的例子中，我们将使用ghci>作为命令行提示符。若要设置你的命令行提示符与本书一致，输入:setprompt "ghci> "即可。如果不想每次打开GHCi都重新输入一遍，可以在你的home目录下创建一个.ghci文件，使它的内容为:set prompt "ghci>"。
恭喜，你已经进入了GHCi！试几个简单的运算：
ghci> 2 + 15
17
ghci> 49 * 100
4900
ghci> 1892 - 1472
420
ghci> 5 / 2
2.5如果在同一个表达式中使用了多个运算符，Haskell会按照运算符优先级顺序执行计算。比如的优先级比-高，50100-4999就相当于(50 * 100) - 4999。
也可以通过括号来显式地指定运算次序，就像这样：
ghci> (50 * 100) - 4999
1
ghci> 50 * 100 - 4999
1
ghci> 50 * (100 - 4999)
-244950很酷，是吧？（哼，我知道一点也不酷，但请容许我自High一下嘛。）
有个小陷阱需要注意：只要表达式中存在负数常量，就最好用括号将它括起来。比如，执行5 -3会使GHCi报错，而5(-3)就不会有问题。
Haskell中的逻辑运算也同样直白。同许多编程语言一样，Haskell的布尔值为True与False，也有&;&;用来求逻辑与（布尔与运算）、||用来求逻辑或（布尔或运算），以及not用来对True或者False取反。
ghci> True && False
False
ghci> True && True
True
ghci> False || True
True
ghci> not False
True
ghci> not (True && True)
False也可以通过==与/=来判断两个值相等还是不等：
ghci> 5 == 5
True
ghci> 1 == 0
False
ghci> 5 /= 5
False
ghci> 5 /= 4
True
ghci> "hello" == "hello"
True在同一个表达式中混用不一样的值要十分小心！如果我们输入了5+"llama"这样的代码，就会得到下面这样的出错消息了：
No instance for (Num [Char])
arising from a use of `+' at <interactive> :1:0-9
Possible fix: add an instance declaration for (Num [Char])
In the expression: 5 + "llama"
In the definition of `it': it = 5 + "llama"GHCi 告诉我们，"llama"并不是数值，所以它不知道怎样才能给它加上5。+运算符要求它的两个参数都是数值才行。
另一方面，==可以比较任何两个可以比较的值，唯一标准就是：这两个值的类型必须相同。比如，我们如果输入True==5，GHCi就会报错。
注意：
5+4.0是合法的表达式，虽说4.0不是整数，但5既可以被看做整数也可以被看做浮点数。这样看，5与浮点数4.0的类型就匹配起来了。
到后面，我们会更加深入地学习类型。
1.1 调用函数
也许你并未察觉，从始至终我们一直都在使用函数。*就是一个函数，它可以将两个数相乘。可见，在应用（又称调用）这个函数时，我们就像夹三明治一样用两个参数将它夹在中央，这种函数被称作中缀函数（infix function）。
至于其他的大部分函数，则属于前缀函数（prefix function）。在Haskell中调用前缀函数时，先是函数名和一个空格，后跟参数列表（也是由空格分隔）。简单举个例子，我们尝试调用Haskell中最无聊的函数succ：
ghci> succ 8
9succ函数可以取得参数的后继，前提是它要有明确的后继。一个整数的后继，就是比它大的下一个数了。
接下来尝试调用两个前缀函数min和max：
ghci> min 9 10
9
ghci> min 3.4 3.2
3.2
ghci> max 100 101
101min和max接受两个可比较大小的参数（如数），相应地返回较大或者较小的那个数。
在Haskell中，函数应用拥有最高的优先级。因而如下两句是等效的：
ghci> succ 9 + max 5 4 + 1
16
ghci> (succ 9) + (max 5 4) + 1
16也就是说，取9乘10的后继，简单地像下面这样写是不行的：
ghci> succ 9 * 10因为运算有优先级，这种写法相当于先取9的后继（得到10），然后再乘以10得100。要得到正确的写法，应该改成这样：
ghci> succ (9 * 10) 得91。
如果某函数有两个参数，也可以用反引号（`）将它括起，以中缀函数的形式调用它。比如，div函数可以用来求两个整数的商，如下：
ghci> div 92 10
9但这种形式并不容易理解：究竟是哪个数是除数，哪个数被除数？用上反引号，按照中缀函数的形式调用它就清晰多了：
ghci> 92 div 10
9从命令式编程走过来的程序员往往觉得函数调用离不开括号，以至于一下子无法接受Haskell的风格。其实很简单：只要见到bar (bar 3)之类的东西，就是说以3为参数调用bar函数，随后用所得的结果再次调用bar。对应的C代码大约就是这样：bar(bar(3))。