Control.Category 有什么用？

Question

如果我发现某个东西是 Monoid 或 Monad，我就会使用各种有趣的函数，例如 foldMap、序列 甚至mapM。他们让我快乐。

如果我发现某个东西是Category，我会得到什么？除了重载 id 和 (.) 之外，我还能得到什么有趣的东西吗？

Answer 1

除了重载 id 和 (.) 之外，我还能得到什么有趣的东西吗？

好吧，您还（应该）了解与它们相关的法律：

"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 中定义的函数，它们有时使代码更易于阅读：>>> 和 << ;<

Answer 2

Control.Category 只是 Control.Arrow 的基础工作，您可以从中获得有趣的函数。