Haskell提供了record syntax，可以在定义类型的同时，为每个字段指定读取器。
例如：
data Book = BookID {id :: Int}
| BookName {englishName :: String, chineseName :: String}
deriving Show
其中，Book类型指定了两个值构造器，BookID和BookName
<u></u>BookID值构造器有一个字段，它的类型是Int，读取器是函数id
<u></u>BookName值构造器有两个字段，它们的类型都是String，读取器分别是函数englishName和chineseName
我们可以用以下两种方式来创建一个Book类型的值
> BookName "1" "2"
BookName {englishName = "1", chineseName = "2"}
> BookName {chineseName = "2", englishName = "1"}
BookName {englishName = "1", chineseName = "2"}
读取器是一个函数，类型如下：
chineseName :: Book -> String
例子：
> chineseName $ BookName "1" "2"
"2"
网友评论