类型，类型类

类型，类型类

没想到就写一个类型类，就写了这么多。。。。

参考书籍: Learn you a Haskell

常见类型

大多数与C中相似，但是开头字母必须大写，包含以下类型：

1

Int, Integer, Float, Double, Bool, Char

在Haskell中，元组也算一种特殊的类型，其类型取决于其中的项的数目和种类。理论上项的数目可以无限多，但实际最多62个。

类型变量

当我们想要写一个取出列表第一个元素的函数，并且可以同时应用于多种不同类型的列表时，我们会怎么做呢？在C++中，我们会用模板(Template)，而在Haskell中，我们就要用到类型变量了。

比如，我们上述的函数类型便如下：

1

head :: [a] -> a

比如，fst可以取出一个序对中的第一个元素，其类型如下：

1

fst :: (a,b) -> a

类型类入门

类型类(typeclass)是定义行为的接口。如果一个类型是某类型类的示例(instance)，那它必实现了该类型类所描述的行为。

定义念完了，但还是不太明白。那我们可以举一个例子如下：

首先，我们都知道在Haskell中，==为一个函数，那么，他的类型是什么呢：

1

(==) :: (Eq a) => a -> a -> Bool

下面，是各种常见的类型类。

Eq

前面已经提到了，Eq类型类用于判断相等性的类型，要求它的示例必须实现==和\=两个函数。在类型约束中用Eq进行约束，就能确保约束的类型能够进行比较操作。 ### Ord 用于可以比较大小的类型。除了函数以外，我们目前所谈到的所有类型都是Ord的实例。 ### Show Show类型类的实例为可以表示为字符串的类型。到目前为止，我们常用的类型中除函数外都为Show类型类的示例。能够操作Show类型类的实例的函数中，最常用的是show。功能是将该实例转为字符串:

1
2
3
4
5

--此处为交互模式
ghci> show 3
"3"
ghci> show 5.334
"5.334"

1
2
3
4

ghci> read "True" || False
True
ghci> read "8.2" + 3.8
12.0

1
2
3
4

ghci> read "4" :: Int
4
ghci> read "[1,2,3,4]" :: [Float]
[1.0,2.0,3.0,4.0]

1
2
3
4

gchi> read "4" + 5
9
ghci> read "[1,2,3,4]" ++ [3]
[1,2,3,4,3]

因为Haskell可以根据后面判断，所以不需标注。 ### Enum Enum的实例类型都是由连续顺序的--他们的值都是可以枚举的。其主要特点在于支持succ和pred函数，分别为后继(successer)和前缀(predecesor)。包含的类型主要有(),Bool,Char,Ordering,Int,Integer,Float和Double。

1
2
3
4
5
6
7

ghci> ['a'..'e']
"abcde"
ghci> [LT .. GT]	
[LT,EQ,GT]
--Ordering类型，只包括LT,EQ,GT三种值，分别代表小于，等于，大于。
ghci> succ 'B'
'C'

1
2
3
4

ghci> minBound :: Int
-2147483648
ghci> maxBound :: Char
'\1114111'

1

20 :: (Num t) => t

1
2
3
4

ghci> 20 :: Int
20
ghci> 20 :: Float
20.0

1

(*) :: (Num a) => a -> a -> a

1

fromIntegeral :: (integeral a, Num b) => a -> b