函子
可以将 Functor 视为某个值或计算上下文的容器。例如 Maybe a 或 [a]。 Typeclassopedia 文章对 Functors 背后的概念进行了很好的描述。
要被视为真正的 Functor，实例必须遵守以下两条准则：
身分
fmap id == id
组成
fmap (f . g) = (fmap f) . (fmap g)
可以将 Functor 视为某个值或计算上下文的容器。例如 Maybe a 或 [a]。 Typeclassopedia 文章对 Functors 背后的概念进行了很好的描述。
要被视为真正的 Functor，实例必须遵守以下两条准则：
fmap id == id
fmap (f . g) = (fmap f) . (fmap g)