fixed translation

zh-cn/haskell-cn.html.markdown

@@ -13,7 +13,8 @@ Haskell 是一门实用的函数式编程语言，因其 Monads 与类型系统
 
 ```haskell
 -- 单行注释以两个减号开头
-{- 多行注释像这样被一个闭合的块包围
+{- 多行注释像这样
+    被一个闭合的块包围
 -}
 
 ----------------------------------------------------
@@ -46,9 +47,9 @@ not False -- True
 1 < 10 -- True
 
 -- 在上面的例子中，`not` 是一个接受一个参数的函数。
--- Haskell 不需要括号来调用函数。所有的参数都只是在函数名之后列出来。
+-- Haskell 不需要括号来调用函数，所有的参数都只是在函数名之后列出来
 -- 因此，通常的函数调用模式是：
--- func arg1 arg2 arg3...
+--   func arg1 arg2 arg3...
 -- 你可以查看函数部分了解如何自行编写。
 
 -- 字符串和字符
@@ -65,11 +66,11 @@ not False -- True
 
 
 ----------------------------------------------------
--- 数组和元组
+-- 列表和元组
 ----------------------------------------------------
 
--- 一个数组中的每一个元素都必须是相同的类型
--- 下面两个数组等价：
+-- 一个列表中的每一个元素都必须是相同的类型。
+-- 下面两个列表等价
 [1, 2, 3, 4, 5]
 [1..5]
 
@@ -81,34 +82,32 @@ not False -- True
 [5..1] -- 这样不行，因为 Haskell 默认递增
 [5,4..1] -- [5, 4, 3, 2, 1]
 
--- 数组下标
+-- 列表下标
 [0..] !! 5 -- 5
 
--- 在 Haskell 你可以使用无限数组
-[1..] -- 一个含有所有自然数的数组
+-- 在 Haskell 你可以使用无限列表
+[1..] -- 一个含有所有自然数的列表
 
--- 无限数组的原理是，Haskell 有“惰性求值”。
+-- 无限列表的原理是，Haskell 有“惰性求值”。
 -- 这意味着 Haskell 只在需要时才会计算。
--- 所以当你获取数组的第 1000 项元素时，Haskell 会返回给你：
-
+-- 所以当你获取列表的第 1000 项元素时，Haskell 会返回给你：
 [1..] !! 999 -- 1000
-
--- Haskell 计算了数组中第 1 至 1000 项元素，但这个无限数组中剩下的元素还不存在。
+-- Haskell 计算了列表中第 1 至 1000 项元素，但这个无限列表中剩下的元素还不存在。
 -- Haskell 只有在需要时才会计算它们。
 
--- 连接两个数组
+-- 连接两个列表
 [1..5] ++ [6..10]
 
--- 往数组头增加元素
+-- 往列表头增加元素
 0:[1..5] -- [0, 1, 2, 3, 4, 5]
 
--- 其它数组操作
+-- 其它列表操作
 head [1..5] -- 1
 tail [1..5] -- [2, 3, 4, 5]
 init [1..5] -- [1, 2, 3, 4]
 last [1..5] -- 5
 
--- 数组推导
+-- 列表推导 (list comprehension)
 [x*2 | x <- [1..5]] -- [2, 4, 6, 8, 10]
 
 -- 附带条件
@@ -125,6 +124,7 @@ snd ("haskell", 1) -- 1
 ----------------------------------------------------
 -- 3. 函数
 ----------------------------------------------------
+
 -- 一个接受两个变量的简单函数
 add a b = a + b
 
@@ -137,7 +137,7 @@ add 1 2 -- 3
 -- 你也可以使用反引号中置函数名：
 1 `add` 2 -- 3
 
--- 你也可以定义不带字母的函数名，这样你可以定义自己的操作符
+-- 你也可以定义不带字母的函数名，这样你可以定义自己的操作符。
 -- 这里有一个做整除的操作符
 (//) a b = a `div` b
 35 // 4 -- 8
@@ -147,36 +147,36 @@ fib x
   | x < 2 = x
   | otherwise = fib (x - 1) + fib (x - 2)
 
--- 模式匹配与 Guard 类似
--- 这里给出了三个不同的 fib 定义
+-- 模式匹配与 Guard 类似。
+-- 这里给出了三个不同的 fib 定义。
 -- Haskell 会自动调用第一个符合参数模式的声明
 fib 1 = 1
 fib 2 = 2
 fib x = fib (x - 1) + fib (x - 2)
 
--- 元组的模式匹配：
+-- 元组的模式匹配
 foo (x, y) = (x + 1, y + 2)
 
--- 数组的模式匹配
--- 这里 `x` 是列表中第一个元素，`xs` 是列表剩余的部分
+-- 列表的模式匹配
+-- 这里 `x` 是列表中第一个元素，`xs` 是列表剩余的部分。
 -- 我们可以实现自己的 map 函数：
 myMap func [] = []
 myMap func (x:xs) = func x:(myMap func xs)
 
--- 匿名函数带有一个反斜杠，后面跟着所有的参数。
+-- 匿名函数带有一个反斜杠，后面跟着所有的参数
 myMap (\x -> x + 2) [1..5] -- [3, 4, 5, 6, 7]
 
 -- 在 fold（在一些语言称 为`inject`）中使用匿名函数
--- foldl1 意味着左折叠 (fold left), 并且使用列表中第一个值作为累加器的初始值
+-- foldl1 意味着左折叠 (fold left), 并且使用列表中第一个值作为累加器的初始值。
 foldl1 (\acc x -> acc + x) [1..5] -- 15
 
 ----------------------------------------------------
 -- 4. 其它函数
 ----------------------------------------------------
 
--- 部分调用：
--- 如果你调用函数时没有给出所有参数，它就被“部分调用”
--- 它将返回一个接受余下参数的函数
+-- 部分调用
+-- 如果你调用函数时没有给出所有参数，它就被“部分调用”。
+-- 它将返回一个接受余下参数的函数。
 add a b = a + b
 foo = add 10 -- foo 现在是一个接受一个数并对其加 10 的函数
 foo 5 -- 15
@@ -185,8 +185,8 @@ foo 5 -- 15
 foo = (+10)
 foo 5 -- 15
 
--- 函数组合
--- (.) 函数把其它函数链接到一起
+-- 函列表合
+-- (.) 函数把其它函数链接到一起。
 -- 例如，这里 foo 是一个接受一个值的函数。
 -- 它对接受的值加 10，并对结果乘以 5，之后返回最后的值。
 foo = (*5) . (+10)
@@ -195,9 +195,9 @@ foo = (*5) . (+10)
 foo 5 -- 75
 
 -- 修正优先级
--- Haskell 有另外一个函数 `$` 可以改变优先级
--- `$` 使得 Haskell 先计算其右边的部分，然后调用左边的部分
--- 你可以使用 `$` 来移除多余的括号
+-- Haskell 有另外一个函数 `$` 可以改变优先级。
+-- `$` 使得 Haskell 先计算其右边的部分，然后调用左边的部分。
+-- 你可以使用 `$` 来移除多余的括号。
 
 -- 修改前
 (even (fib 7)) -- true
@@ -220,13 +220,13 @@ even $ fib 7 -- true
 True :: Bool
 
 -- 函数也有类型
--- `not` 接受一个布尔型返回一个布尔型：
+-- `not` 接受一个布尔型返回一个布尔型
 -- not :: Bool -> Bool
 
--- 这是接受两个参数的函数：
+-- 这是接受两个参数的函数
 -- add :: Integer -> Integer -> Integer
 
--- 当你定义一个值，声明其类型是一个好做法：
+-- 当你定义一个值，声明其类型是一个好做法
 double :: Integer -> Integer
 double x = x * 2
 
@@ -250,30 +250,29 @@ case args of
   _ -> putStrLn "bad args"
 
 -- Haskell 没有循环，它使用递归
--- map 对一个数组中的每一个元素调用一个函数：
-
+-- map 对一个列表中的每一个元素调用一个函数
 map (*2) [1..5] -- [2, 4, 6, 8, 10]
 
--- 你可以使用 map 来编写 for 函数：
+-- 你可以使用 map 来编写 for 函数
 for array func = map func array
 
--- 调用：
+-- 调用
 for [0..5] $ \i -> show i
 
--- 我们也可以像这样写：
+-- 我们也可以像这样写
 for [0..5] show
 
 -- 你可以使用 foldl 或者 foldr 来分解列表
 -- foldl <fn> <initial value> <list>
 foldl (\x y -> 2*x + y) 4 [1,2,3] -- 43
 
--- 等价于：
+-- 等价于
 (2 * (2 * (2 * 4 + 1) + 2) + 3)
 
--- foldl 从左开始，foldr 从右：
+-- foldl 从左开始，foldr 从右
 foldr (\x y -> 2*x + y) 4 [1,2,3] -- 16
 
--- 现在它等价于：
+-- 现在它等价于
 (2 * 3 + (2 * 2 + (2 * 1 + 4)))
 
 ----------------------------------------------------
@@ -293,9 +292,9 @@ say Green =  "You are Green!"
 data Maybe a = Nothing | Just a
 
 -- 这些都是 Maybe 类型：
-Just "hello"    -- of type `Maybe String`
-Just 1          -- of type `Maybe Int`
-Nothing         -- of type `Maybe a` for any `a`
+Just "hello"    -- `Maybe String` 类型
+Just 1          -- `Maybe Int` 类型
+Nothing         -- 对任意 `a` 为 `Maybe a` 类型
 
 ----------------------------------------------------
 -- 8. Haskell IO
@@ -321,7 +320,7 @@ main' = interact countLines
 
 -- 你可以认为一个 `IO ()` 类型的值是表示计算机做的一系列操作，类似命令式语言。
 -- 我们可以使用 `do` 声明来把动作连接到一起。
--- 举个列子：
+-- 举个列子
 sayHello :: IO ()
 sayHello = do 
    putStrLn "What is your name?"
@@ -336,7 +335,8 @@ sayHello = do
 
 -- 让我们来更进一步理解刚才所使用的函数 `getLine` 是怎样工作的。它的类型是：
 --    getLine :: IO String
--- 你可以认为一个 `IO a` 类型的值代表了一个运行时会生成一个 `a` 类型值的程序（可能还有其它行为）。
+-- 你可以认为一个 `IO a` 类型的值代表了一个运行时会生成一个 `a` 类型值的程序。
+-- （可能伴随其它行为）
 -- 我们可以通过 `<-` 保存和重用这个值。
 -- 我们也可以实现自己的 `IO String` 类型函数：
 action :: IO String
@@ -348,8 +348,7 @@ action = do
    -- `return` 不是关键字，只是一个普通函数
    return (input1 ++ "\n" ++ input2) -- return :: String -> IO String
 
--- 我们可以像调用 `getLine` 一样调用它:
-
+-- 我们可以像调用 `getLine` 一样调用它
 main'' = do
     putStrLn "I will echo two lines!"
     result <- action 
@@ -358,29 +357,25 @@ main'' = do
 
 -- `IO` 类型是一个 "Monad" 的例子。
 -- Haskell 通过使用 Monad 使得其本身为纯函数式语言。
--- 任何与外界交互的函数（即 IO）都在它的类型声明中标记为 `IO`
--- 这告诉我们什么样的函数是“纯洁的”(不与外界交互，不修改状态) ，什么样的函数不是 “纯洁的”
-
+-- 任何与外界交互的函数（即 IO）都在它的类型声明中标记为 `IO`。
+-- 这告诉我们什么样的函数是“纯洁的”(不与外界交互，不修改状态) ，
+-- 什么样的函数不是 “纯洁的”。
 -- 这个功能非常强大，因为纯函数并发非常容易，由此在 Haskell 中做并发非常容易。
 
-
 ----------------------------------------------------
 -- 9. Haskell REPL
 ----------------------------------------------------
 
 -- 键入 `ghci` 开始 REPL。
 -- 现在你可以键入 Haskell 代码。
--- 任何新值都需要通过 `let` 来创建：
-
+-- 任何新值都需要通过 `let` 来创建
 let foo = 5
 
--- 你可以查看任何值的类型，通过命令 `:t`：
-
+-- 你可以通过命令 `:t` 查看任何值的类型
 >:t foo
 foo :: Integer
 
 -- 你也可以运行任何 `IO ()`类型的动作
-
 > sayHello
 What is your name?
 Friend!