Haskell Types与Typeclasses

　　可使用 :t 命令检测表达式类型。

　　明确的类型首字母必大写。

一、Types

　　Char

　　Bool

　　Int（有界，与Integer类型对比效率高）

　　Integer（无界，与Int类型对比效率低）

　　Float

　　Double

　　Tuple的类型取决于长度和其中元素的类型。

　　List的类型只取决于其中元素的类型。

二、Typeclasses

　　“=>”表示约束。

　　Eq：可比较相等性。

　　Ord：可比较大小。

　　compare：取两个Ord中相同类型的值做参数，结果为LT，GT，EQ三种情况（小于/大于/相等）。

　　Show：可用字符串表示。

　　     show：将Show中成员类型转换为字符串。

　　Read：与Show相逆。

　　     read：将字符串转换为Read中的成员类型。但是要明确其输出的类型，不明确的转换无法进行。read "1"是错误的表达式，而read "1" :: Int才是正确的表达式。

　　Enum：表示可连续的类型。

　　     succ：前继。

　　     pred：后继。

　　Bounded：拥有界限。

　　     minBound：下边界。例，minBound :: Int表达式是查看Int类型的下限是多少。

　　     maxBound：上边界。例，maxBound :: Int表达式是查看Int类型的上限是多少。

　　Num：数字。

　　Integral：整数。包括Int和Integer类型

　　Floating：浮点数，包括Float和 Double类型。

　　     fromIntegral：将Integral转换为Num型。

三、对Types 与 Typeclasses的理解。

　　1.一个表达式只能属于一种Type，但可以属于多种Typeclasses。

　　2.把Type理解成类型，一个表达式只能属于一种类型。把Typeclass理解成属性，一个表达式可以拥有多种属性。

　　3.属于相同类型的表达式，必然会有相同的属性。但拥有相同属性的表达式，却不一定属于相同的类型。