Haskell 笔记 (三) 类型

类型

Haskell有强大的类型系统

1. 每个表达式在编译时都会明确类型，因此可以有更多的信息来检查错误。
2. 支持类型推导。

Prelude> :t True
True :: Bool
Prelude> :t 'a'
'a' :: Char
Prelude> :t "hi"
"hi" :: [Char]
Prelude> :t (True, 'a')
(True, 'a') :: (Bool, Char)
Prelude> :t (True, "ss")
(True, "ss") :: (Bool, [Char])
Prelude> :t 4==5
4==5 :: Bool

::读作: “它的类型为”

4 == 5 :: Bool读作4==5 它的类型为 Bool

Prelude> :t cycle
cycle :: [a] -> [a]

函数也有类型, "[a] -> [a]"表示入参为[a],返回值为[a]。 多个入参一样是通过“->”连接，最后一个表示返回值。

注意：凡是明确的类型，其首字母必定是大写。

常见类型

• Int 有界整数 范围2的-63次方~2的63次方-1
• Integer 无界整数 可以存放非常大的整数，但效率不如Int高。
• Float 单精度浮点数
• Double 双精度浮点数
• Bool 布尔值
• Char 表示一个Unicode字符
• 元祖 也是类型，不过它的类型取决于其中项的类型以及数目。理论上可以有无限种类型，实际上元祖最大项的数量为62。 另外注意空元祖也是一种类型，只有一种值，即().

类型类

类型类是一组函数的集合，定义行为的接口。如果一个类型是某种类型类的实例，那么他必须实现了该类型了所描述的行为。

• Eq类型类
• Ord类型类
• Show类型类
• Read类型类
• Enum类型类
• Bounded类型类
• Num类型类
• Floating类型类
• Integeral类型类