可使用 :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.属于相同类型的表达式,必然会有相同的属性。但拥有相同属性的表达式,却不一定属于相同的类型。