当前分类：category-theory

c++ - 为什么具有无用的隔离 `static` 的函数被认为是不纯的？

list - 非空列表comonad

monads - Monad : Why does Identity matter, 如果集合中没有这样的特殊成员会发生什么？

haskell - 使用变形来忘记 Cofree 注释

scala - 不太理解 `F(1A) = 1F(A) ∀ A ∈ C1` 作为 Functor law

c++11 - C++ 仿函数是范畴论意义上的仿函数吗？

haskell - Do 符号和 Monad 组合

scala - Hom Functor 的逆变和Scala 的Function1 之间有什么联系吗？

list - 平面列表和自由单子(monad)

Haskell - 使用递归方案的泛型多态代数数据类型的仿函数实例

Scala - 创建类型集合的惯用方式

Scala 组合；共产法？

scala - MonoidK 和 Monad 关系

Haskell:幺半群中态射的组合

haskell - 无论实例如何，都在哪里使用 Haskell 类别组合？

coq - 如何理解Setoid对类的定义？

haskell - 所有函数类型都形成 `Hask` 的子类别吗？

scala - 理解产品和副产品的图表

standard-library - Agda 的分类库？

haskell - 行为是共生体吗？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们