Control.Category有什么用？

Question

如果我发现某些内容属于Monoid或Monad，我会全部使用各种有趣的功能，例如foldMap，sequence甚至{{ 1}}。他们让我开心。

如果我发现某些内容是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的基础工作，而这正是您从中获得有趣功能的地方。