Taking Notes from http://learnyouahaskell.com

Type

ghci> :t 'a'
'a' :: Char
ghci> :t (True, 'a')  
(True, 'a') :: (Bool, Char)

Function Type

1 2	addThree :: Int -> Int -> Int -> Int addThree x y z = x + y + z

Int 有界的整数
Integer 无界的
Float 单精度的浮点数
Double 双精度的浮点数
Bool True False
Char
Tuple

a 是类型变量, type variable

ghci> :t head
head :: [a] -> a
ghci> :t fst  
fst :: (a, b) -> a

1 2	ghci> :t (==) (==) :: (Eq a) => a -> a -> Bool

判断相等性的接口
elem :: (Eq a) => a -> [a] -> Bool

包含可比较大小的类型. Ord 包中包含了<, >, <=, >= 和 compare 函数.
Compare 返回 GT, LT, EQ

Show 的成员为可用字符串表示的类型

ghci> show 5.334  
"5.334"  
ghci> show True  
"True"

read 函数可以将一个字符串转为 Read 的某成员类型

ghci> read "5" - 2  
3 
ghci> read "4"  
< interactive >:1:0:  
ghci> read "4" :: Int  
5

Enum的成员都是连续的类型 – 也就是可枚举
Enum 包含的类型有：(), Bool, Char, Ordering, Int, Integer, Float 和 Double
succ (successer)函数和 pred (predecesor)函数

1 2	ghci> succ 'B' 'C'

成员都有一个上限和下限

表示数字的 Typeclass. Num 包含所有的数字：实数和整数
类型只有亲近 Show 和 Eq，才可以加入 Num

1 2	ghci> :t () () :: (Num a) => a -> a -> a

Integral 仅包含整数，其中的成员类型有 Int 和 Integer

仅包含浮点类型：Float 和 Double

它取一个整数做参数并回传一个更加通用的数字
fromIntegral :: (Num b, Integral a) => a -> b

1	fromIntegral (length [1,2,3,4]) + 3.2