当前分类：category-theory

haskell - 为什么 ghc 不能在这个 Category 产品上匹配这些类型？

haskell - Haskell 中的双分类

scala - 它如何是自然的转变？

haskell - `liftM` 的名字是不是受到了数学中的电梯的启发？

haskell - 什么是单子(monad)类别的仿函数？

haskell - 为什么 Monoidal 和 Applicative 定律告诉我们同样的事情？

haskell - 在 M 中是否存在单子(monad)自然的非同一性单子(monad)态射 M ~> M？

haskell - 与 Arrow 和 Applicative 不同，为什么互让让 ArrowApply 和 Monads 等价？

haskell - 每个替代的 Monad 都是可过滤的吗？

haskell - Last 是一个自由幺半群吗？

haskell - 所有固定大小的容器是否都具有很强的单曲面仿函数，反之亦然？

haskell - 为什么我找不到 NotQuiteCofree not-quite-comonad 的任何违法行为？

haskell - Haskell中的身份功能有多个居民？

haskell - 如何将延续单子(monad)分解为左右伴随？

haskell - 集合的应用实例(嵌套列表)

haskell - 说明 Category、Monoid 和 Monad 的简单例子？

haskell - 为什么这个类型注释是错误的？

haskell - 为什么只有 Applicative 需要 `pure` 而 Functor 不需要？

javascript - JavaScript 中的仿函数实现

monads - Comonad 的精辟总结。 (单子(monad)是 'type for impure computation' )

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们