This is source code of my book.
书中出现的错误。*表示错误严重等级
第3页 第2行中的QuickTest应该改为QuickCheck。
第14页 第10行。Haksell应该改为Haskell。
第15页 第4段，最后一句Prelude如定义3curry 。。。 改为Prelude中定义了curry。。。
第16页 第3段，以一个小开头。应该改为以一个小写字母开头。
第19页 最后一行代码(==) :: Eq a => a -> a -> Bool，最后的a类型改为Bool
第21页 2.2.3标题应该Enum而非Emum
第22页 图2-1中，Num类型类中没有除法/ 。
第23页 *倒数第2段，这是一个理论错误，不是所有数字都以比较相等，这一段，应该改为： Num这里仅仅是一个统称，图2-1中所有的数字类型都是可以比较相等的，但是数字类型类与相等类型类间用了虚线箭头，这是因为相等类型类Eq与数字类型类Num没有依赖关系，一个类型需要分别实现它们，同时有一些数字类型无法比较相等。
Num这里仅仅是一个统称，所有的相同类型的数字都是可以比较相等的。这里，数字类型类与相等类型类间用了虚线箭头，这是因为这些类型类不都是间接地通过Num 来实现的有的类型如Int、Word 是直接实现的，而复数类型是间接实现的。
第22页 图2-1中，GHC 7.4后Num类型类将不再隐含着Eq，所以对于使用GHC7.4之前版本与Hugs的读者不会有影响，所以图中虚线箭头应该去掉，这样当使用模式匹配还有case时类型上下文中需要加入Eq类型类限定。这一新的改动影响了第5章第6节第70页还有其他章节某些代码
fact :: (Num a) => a -> a
fact 0 = 1
fact n = n * fact (n-1)
会得到如下错误：
Fact.hs:2:6:
Could not deduce (Eq a) arising from the literal `0'
from the context (Num a)
bound by the type signature for fact :: Num a => a -> a
at Fact.hs:1:9-25
Possible fix:
add (Eq a) to the context of
the type signature for fact :: Num a => a -> a
In the pattern: 0
In an equation for `fact': fact 0 = 1
根据GHCi给出的可能修复的方式，可以加入Eq a到类型签名的上下文中，即将fact的类型签名改为：
fact :: (Num a , Eq a) => a -> a
这一点影响了70页的fibonacci函数。如果读者不确定函数的类型，可以不写类型签名让GHC去推断。
第25页 倒数第10行，to String应该为toString。
第26页 b : : Bool应该为b :: Bool。
第28页 第3段(Num a) => (a> a)> ((a> a),C)应为(Num a) => (a -> a) -> ((a -> a), C)。
第29页 第3段柯里伦应为柯里化。第3段代码Show/a应为Show a。
第32页 示例中
> f xs = let len = genericLength xs in (len,len)
是多余的，应该删去。
第36页 第一段代码isTwo类型签名应该为Int -> Bool，第二行Ture应该为True
第45页 倒数第6行，对照图3-3，应该为对照图3-2 。
第49页 代码示例空格缺失了。应该为> flip (-) 3 8。
第54页 最后一段，点击Ctrl + C组分（合）键
第59页 第二段第二行，上图（面）以字符串作为输出，如果想输入（返回）Int类型
第61页 第一段，用:browse（可简写为:bro）（浏览）一个库。
第61页 第二段，只需要确定最低为（位）是否为0
第51页 中间的代码，avg xs = sum xs / fromIntegral $ length xs 应该改为 avg xs = sum xs / (fromIntegral $ length xs)
第55页 prelude应为Prelude。
第63页 第三段代码facorial的类型应该为Integer -> Integer，而非Integer -> Integer -> Integer。
第70页 第一段代码，第一行改为fibonacci :: (Num a , Eq a) => a -> a
第81页 第二段代码, 结果多了一个逗号。应该为[5,7,10,12]。
**第90页 msort缺少递归基本条件，应该改为
msort [] = []
msort [x] = [x]
msort xs = merge (msort x1) (msort x2)
where (x1, x2) = halve xs
halve xs = (take l xs, drop l xs)
l = (length xs) `div` 2
第92页 最后一段代码， [1..] 应该改为 [1,1..] 。
第95页 take 5 nature的结果应该为[0,1,2,3,4]而非[1,2,3,4,5]
第124页 第一行某两个列表应为某个列表。
**第124页 该页的最后一段：理论上。。。以及下面的图7-1应该插入在125页练习2之后。
第125页 该页的提示是对练习2的提示，应该写在练习2后面。
第126页 最后一部分定义的 >> 全部都应该是 >>> 。
第128页 第三部分代码第二行少了一个左括号
第128页 练习，map map 前面应该是(.).(.) 而不是(.)、(.) 。
第130页 第1段第4行义模式（，）这与C语言。 原文中少了逗号
第159页 8.10 简vd单 中混进了几个字母，应该删除。
第152页 第3段最后一行与自然树（数）同构
第146页 Haskell 2000应该为Haskell 2010.
第172页 第3段最后一行，函数（子）类型类实例
第174页 第1段第1行，那么则结果为 “则”应当删去
第181页 第3段代码，>runParser num应该为>runParser number
第185页 第2段第2行，因为除了复（函）数的复合
第187页 第1行，又为又（右）结合
第203页 测试代码中，两处\x -> （Maybe 6 .. 应该改为Just 6
*第203页 最底端的代码 Just (x+y) 应为 Just (n1+n2) 。
第204页 第3段第1行，《编译原理》讲议（讲义）
第205页 最底端的代码 Prelude>提示的Prelude应该删去。
*第205页 最底端的$>运算符应该改为|>。
第215页 第1段第3行，sum等类型（函数）
第217页 第3段倒数第2行，而且setGlobalVar也无法实现用纯 ... “实现”去掉
第220页 最后一段第2行，IORef容器来以及相应函数 “来”字去掉
第221页 第3段，第1行中“相邻读者”改为“相信读者”
第233页 11.4开始第2段.idx文件一点中：及释意（义）的长度
第237页 第1行，“列表的字符”改为“字符的列表”
**第280页 最下面倒数第2行的公式应该为m1T m2 同构于 m2T m1，即同构符号右端的m2应该改为m1
- 第285页 第1段代码中m <- fresh应该插入到代码的第2行。代码中的mlabel'应该是mlabel
第311页，最后一段，第3点中第3行，表达式t中的变量被则被限定了.. 去掉第一个被
第312页 Beta化简中的+应该去掉。
第312页 计算W W时，等号后面应该是希腊字母beta而不是数字8.
第326页 Ivar' 应为 'IVar'
第358页 第一个参考文献中的Functiondl应该为Functional。