Real World Haskell学习篇-第1章： 入门

1. 初识解释器ghci

　　1.1  查看帮助： :?

　　1.2  修改提示符： :set prompt ghci>>>

　　1.3  加自己指定模块： :module + Data.Ratio

2. 基本交互

　　2.1 基本算术运算

　　　　中缀表达式：

ghci>>> 3 ^ 3
27
ghci>>> 2 + 4
6
ghci>>> 5 / 3
1.6666666666666667

　　　　前缀表达式：

ghci>>> (^) 3 3
27
ghci>>> (/) 5 2
2.5
ghci>>> (+) 1 9

　　2.2 算术中的负数

ghci>>> -8
-8
ghci>>> 1 + -4

<interactive>:57:1:
    Precedence parsing error
        cannot mix ‘+’ [infixl 6] and prefix `-' [infixl 6] in the same infix expression
ghci>>> 1 + (-3)
-2

-8其实并不是直接表示负数8， 而是利用一元操作符'-'对8取负， 所以第3行不能与中缀表达式一起使用， 除非加上()。

ghci>>> 55*-2

<interactive>:60:3:
    Not in scope: ‘*-’
    Perhaps you meant one of these:
      ‘*>’ (imported from Prelude), ‘**’ (imported from Prelude),
      ‘*’ (imported from Prelude)

这样是另一种不认识的操作符。

　　2.3 布尔运算（True False）和比较运算

3种运算符： && || not    Haskell中True不是1， False不是0.

ghci>>> True && False
False
ghci>>> True || False
True
ghci>>> not False
True
ghci>>> True && 1

<interactive>:75:9:
    No instance for (Num Bool) arising from the literal ‘1’
    In the second argument of ‘(&&)’, namely ‘1’
    In the expression: True && 1
    In an equation for ‘it’: it = True && 1
ghci>>> 1 == 1
True
ghci>>> 4 > 6
False
ghci>>> 33 <= 50
True

　　2.4 运算符优先级和结合性

可以有命令 :info 查看指定操作符的优先级值， 1表示最低， 9 表示最高。

ghci>>> 2 + 3 * 5 ^ 2
77
ghci>>> :info (+)
class Num a where
  (+) :: a -> a -> a
  ...
      -- Defined in ‘GHC.Num’
infixl 6 +
ghci>>> :info (*)
class Num a where
  ...
  (*) :: a -> a -> a
  ...
      -- Defined in ‘GHC.Num’
infixl 7 *
ghci>>> :info (^)
(^) :: (Num a, Integral b) => a -> b -> a     -- Defined in ‘GHC.Real’
infixr 8 ^

　　2.5 变量的定义

使用ghci的let定义临时变量

ghci>>> pi
3.141592653589793
ghci>>> e

<interactive>:84:1: Not in scope: ‘e’
ghci>>> let e = exp 1
ghci>>> e
2.718281828459045

exp 1 表示调用指数函数exp，参数为1， 不必使用（）。

3. 列表（List）

　　列表长度可以是任意的。

　　空的列表就是[]。

　　列表中的元素必须相同类型。

ghci>>> [1,2,3,4]
[1,2,3,4]
ghci>>> []
[]
ghci>>> ['foo','rt']

<interactive>:89:2:
    Syntax error on 'foo'
    Perhaps you intended to use TemplateHaskell
    In the Template Haskell quotation 'foo'
ghci>>> ["foo","rt"]
["foo","rt"]
ghci>>> [True,False,1,"str"]

<interactive>:91:15:
    Couldn't match expected type ‘Bool’ with actual type ‘[Char]’
    In the expression: "str"
    In the expression: [True, False, 1, "str"]
    In an equation for ‘it’: it = [True, False, 1, ....]

　　可以用列举符号 .. 表示一系列的列表元素， 也可以根据前面的元素步长，自动填充后面省略的元素， 但是float类型可能会涉及到四舍五入的情况：

ghci>>> [1..10]
[1,2,3,4,5,6,7,8,9,10]
ghci>>> [1,4,7..20]

<interactive>:93:7: parse error on input ‘..’
ghci>>> [1,4,7,..20]

<interactive>:94:8: parse error on input ‘..’
ghci>>> [1,4..20]
[1,4,7,10,13,16,19]
ghci>>> [1,8..20]
[1,8,15]
ghci>>> [1.2..2.3]
[1.2,2.2]
ghci>>> [1.2..2.6]
[1.2,2.2]
ghci>>> [1.2..3.6]
[1.2,2.2,3.2]
ghci>>> [1.0..1.8]
[1.0,2.0]

　　当然你可以用[1..]， 省略终点的方式产生一个无穷数列。

3.1 列表操作符 （连接）

　　使用 ++ 连接N个相同元素的列表。

　　使用 ： 在某列表头部加入。（格式必须： 前面是单个元素，后面是一个列表）

ghci>>> [] ++ [False,True] ++ [False]
[False,True,False]
ghci>>> 100:[2,3,4,5] ++ [6,8,4]
[100,2,3,4,5,6,8,4]
ghci>>> [2,3]:1

<interactive>:105:1:
    Non type-variable argument in the constraint: Num [[t]]
    (Use FlexibleContexts to permit this)
    When checking that ‘it’ has the inferred type
      it :: forall t. (Num t, Num [[t]]) => [[t]]

4. 字符串和字符

　　字符串就是很多个单字符组成的列表， 所以可以列表的连接操作。

　　putStrLn 是输出字符串的函数。 \n \r 与C语言一样转意。

　　""与[]是相同的。

ghci>>> "Hello Haskell"
"Hello Haskell"
ghci>>> putStrLn "We are in ghci console.\n See here."
We are in ghci console.
 See here.
ghci>>> 'c'
'c'
ghci>>> let a = ['h','e','l','l','o']
ghci>>> a
"hello"
ghci>>> a == "hello"
True
ghci>>> [] == ""
True
ghci>>> 'w':"Haskell"
"wHaskell"
ghci>>> "Frist" ++ "Second"
"FristSecond"

5. 类型表示

　　Haskell中，所有的类型以大写字母开始，变量以小写字母开始。

　　可以使用 :set +t 是ghci返回结果的类型， :unset +t。

　　可以使用 :type var/expression 显示变量或表达式的类型， 并不参与计算。

ghci>>> :set +t
ghci>>> 'c'
'c'
it :: Char
ghci>>> "foo"
"foo"
it :: [Char]
ghci>>> 7^80
40536215597144386832065866109016673800875222251012083746192454448001
it :: Num a => a
ghci>>> :m +Data.Ratio
ghci>>> 11 % 33
1 % 3
it :: Integral a => Ratio a
ghci>>> 11 % 3.3

<interactive>:121: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 (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
ghci>>> :unset +t
ghci>>> type 'c'

<interactive>:123:6: parse error on input ‘'’
ghci>>> :type 'c'
'c' :: Char
ghci>>> :type 1+8
1+8 :: Num a => a

6. 行计数程序 (WC.hs)

 main = interact wordCount 2 where wordCount input = show (length (lines input)) ++ "\n" 

然后新建一个quux.txt文件进行测试(内容随便写写）。

打开shell命令行切换到当前目录， 执行： runghc WC < quux.txt

即可得到txt文件的行数。