haskell - Control.Category 有什么用？

Question

如果我发现某事是 Monoid或 Monad ，我得到所有使用各种有趣的功能，如foldMap , sequence甚至mapM .他们让我开心。

如果我发现某事是 Category，我会得到什么？ ?除了重载我还有什么好玩的吗id和 (.) ?

Answer 1

Do I get anything fun besides overloading id and (.) ?

好吧，您还(应该)获得与它们相关的法律:

"identity/left" forall p .
                id . p = p
"identity/right"        forall p .
                p . id = p
"association"   forall p q r .
                (p . q) . r = p . (q . r)

作为旁注:
你没有得到那么多有趣的功能的原因，比如 mapM或 foldMap就是说，说某事是一个类别实际上对它说得很少。我猜最有用的函数是 Control.Category 中定义的函数。 ，有时会使代码更易于阅读: >>>和 <<<