Tag: 类别理论

在分类术语中，FP中的monad是什么？

每当有人承诺要“解释单子”时，我的兴趣就会激化，只有当所谓的“解释”是一个长长的清单时，才会被挫败所取代。想法“在这一点上”太复杂了“。 现在我要求相反。 我对类别理论有着坚实的把握，我不害怕追图，Yoneda的引理或派生的函子（实际上就是在类别意义上的monad和adjunctions）。 有人能给我一个清晰简洁的定义，说明函数式编程中的monad是什么？ 例子越less越好：有时一个清晰的概念就是超过一百个胆小的例子。 虽然我不挑剔，但Haskell会很好地作为示范语言。

简单的例子来说明类别，Monoid和Monad？

我对这三个概念非常困惑。 有没有简单的例子来说明Category，Monoid和Monad之间的区别？ 如果有这些抽象概念的例证，这将是非常有帮助的。

编程中的“代数”是什么意思？

在函数式编程和PLT圈子里，我多次听到“余数”这个术语，特别是当讨论的是物体，连接器，镜头等时。 谷歌search这个术语给页面给这些结构的math描述，这是我很难理解的。 任何人都可以解释在编程语境下什么是合数，它们的意义是什么，它们是如何与对象和连接器相关的？