haskell 类型系统

1. 数据类型
   1. Bool类型
   2. Char类型
   3. Int类型
   4. Word类型
   5. Integer类型
   6. Float类型
   7. Double类型
   8. Rational类型
   9. String类型
   10. 元组类型
   11. 列表类型
       1. 拼接列表
       2. 多维列表
2. 类型别名
3. 类型类
4. 字符串

数据类型

在Haskell中数据只是函数的一种方言,他们并没有本质上的区别.
在Haskell中所有的数据类型都必须首字母都必须大写.

在GHCI中我们可以通过::t命令来查看一个数据类型或者函数类型.

我们可以通过下面的语法声明一个数据

var :: 数据类型
var = 数据初始值

或者我们可以将这俩行并为一行

var = 数据初始值 :: 数据类型

Bool类型

我们声明一个bool类型的数据,并将其初始化为True

true = True :: Bool

Char类型

单字符类型

char = 'a' :: Char

char = '\100' :: Char

char = '\n' :: Char

Int类型

有符号整数,其范围和OS与GHC的位数有关.在32位系统中,其范围就是-2^31~2^31-1

int = -1 :: Int

Word类型

有符号整数类型,其范围和OS与GHC的位数有关.在32位系统中,其范围就是0~2^32-1

import Data.Word

word = 1 :: Word

Integer类型

任意精度类型. 可以表示任意整数的大小, 限制它的因素只和OS有关.

当数据不指明类型时,Integer是整数的默认类型

integer = 199999 :: Integer

Float类型

单精度浮点小数

float = 1.1 :: Float

Double类型

双精度浮点小数

double = 1.11111 :: Double

Rational类型

有理数类型

rational = 1 / 500 :: Rational

String类型

String的类型为[Char]

string = "char array" :: String

元组类型

元祖用(,)表示,其中的内容称为元件. 元件的个数并不限制(如有俩个元件的称为2元元组).

一旦确定了元件的个数和元件的类型,那他们就是不可再变的.

tuple = (123, "abc") :: (Int, [Char])

列表类型

列表本身就是一个容器,内存可以存放各种类型的数据(包括函数),但是一旦类型确定了,就不可再变.

list = [123, 8, 9] :: [Int]

拼接列表

采用x:xs的形式进行拼接列表, x代表一个元素, xs代表一个列表.

list = [123, 8, 9]

newList = 1 : list

多维列表

mulList = [[]]  -- 列表中套有一个列表,类似于2维数组

mulList = [[[]]]

类型别名

我们可以使用type关键字将复杂类型起一个简单的名字

type NewType = (Int, Int)

接下来我们就可以使用这个类型了

point :: NewType
point = (1, 2)

type关键字并没有产生新的类型,只是在编译期将新的类型替换为原来的类型.

类型类

Haskell提供了以下的类型类

• Eq
• Ord
• Enum
• Bounded
• Num
• Show

字符串

• show

• read

• lines

• unlines

• word

• unword