Haskell 类型类

类型类，类似其他语言的接口，但是它用的关键字在 Haskell 是 class,类如 Eq 类型类是这样的,最好一行是表明，只实现 == 或者 /=，就可以了:

class Eq a where
  (==) :: a -> a -> Bool
  (/=) :: a -> a -> Bool
  x == y = not (x /= y)
  x /= y = not (x == y)
  {-# MINIMAL (==) | (/=) #-}

-- 类型类
data MuNum = O | Zero | One

-- 实现类型类，使用 instance 关键字
instance Eq MuNum where
  O == Zero = True
  O == One = True
  Zero == Zero = True
  One == One = True
  _ == _ = False

单位半群类型类 Monoid

十二进制的钟表的时间及其加法运算可以理解为一个单位半群，集合 {1...12},运算符为 +，那么 12 是单位元，加上 12 小时后和当前的时间相同，很多数据类型可以抽象为单位半群，也就是说，他们都存在一个满足结合律的二元运算和一个单位元:

class Moniad a where
  mempty :: a
  mappend :: a -> a -> a

很多类型类，都为 Monoid 类型类的实例，例如 Bool, && 运算是满足结合律，True 是单位元。

半群类型类 Semigroup

如果单位半群没有单位元，这个代数结构就是半群，也就只有二元运算的集合。任意类型的列表是单位半群，也是半群。

Prelude> :m +Data.Semigroup
Prelude Data.Semigroup> [1,2,3] <> [4,5,6]
[1,2,3,4,5,6]