Monoid如何使用mempty

Question

我有以下數據類型，在Monoid類型類中實現：

data Optinal a = 
    Nada
  | Only a
  deriving (Eq, Show)

instance Monoid a => Monoid (Optinal a) where
  mempty = Nada
  mappend Nada (Only a) = Only a
  mappend (Only a) Nada = Only a
  mappend Nada Nada = Nada
  mappend (Only a) (Only b) = Only (mappend a b)  

我的問題是，如何使用mempty函數？

Answer 1

Monoid的mempty定義了“ unit”元素。 可能使用它的一種特殊情況是，如果我們有一個函數聚集在Monoid的列表上：

aggregate :: (Monoid a) => [a] -> a
aggregate [] = mempty
aggregate (x:xs) = x `mappend` aggregate xs

請記住， Monoid是對常見計算形式的抽象。 當您為Monoid編寫通用功能時，可能會出現mempty情況。