我的博客地址：链接
CHAPTER 3：定义类型，简化函数
定义一个新的数据类型
data关键字用于定义新的数据类型
data BookInfo = Book Int String [String]
deriving (Show)
值构造器&类型构造器
值构造器和类型构造器可以同名
类型的别名
type关键字用于设置类型别名
type CustomerID = Int
type ReviewBody = String
data BetterReview = BetterReview BookInfo CustomerID ReviewBody
代数数据类型
C 结构和 Haskell 的代数数据类型最大的差别是，代数数据类型的成分是匿名且按位置排序的
模式匹配
本质上就是匹配值构造器，并将传给构造器的值绑定到变量上。
因为模式匹配的过程就像是逆转一个值的构造（construction）过程，因此它有时候也被称为解构（deconstruction）。
模式匹配的“深度”并没有限制。
在给一个类型写一组匹配模式时，一定要涵盖构造器的所有可能情况。
记录语法（Record Syntax）
定义一种数据类型的同时，定义好每个成分的访问器。
访问器的本质是一个函数。
参数化类型（Parameterized Types）
即范型，是类型的多态
递归类型
比如List:
data List a = Cons a (List a)
| Nil
deriving (Show)
即它用自己来定义自己。
