当前分类：category-theory

haskell - Haskell 中函数的理论定义是什么

monads - 具有两种状态变量类型(输入和输出)的状态单子(monad)仍然是单子(monad)吗？

haskell - 将 state monad 与 costate comonad 结合

haskell - 授予可遍历的 F 代数，是否可能对应用代数进行变形？

scala - 宇宙是什么意思？

haskell - "higher order Traversable"类应该是什么样的？

scala - 为什么 Functor 是更高种类的类型

haskell - 双胞胎的方法是什么？

haskell - Coyoneda和自由仿函数有什么区别

scala - 类型构造函数是单子(monad)还是有单子(monad)？

haskell - 为什么 Haskell 有非严格函数(语义)？

haskell - 用于(似乎是)实现函数反转的逆变仿函数的类型类

haskell - 有没有双向分配之类的东西？我在这里需要什么功能？

haskell - 自由单子(monad)和自由操作

haskell - Haskell中的`(a -> b) -> (c -> d)`？

scala - 以功能方式进行多个 API 调用

scala - 在Coalgebras上使用Tagless Final(对象代数)可以吗？

haskell - 是否有一个单子(monad)的术语也是一个共单子(monad)？

haskell - 这是对任意 ADT 的 `scan` 的有意义的概括吗？

scala - Scala 的 Option 以何种方式折叠 catamorphism？

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们