Haskell 的 monad 转换器在分类术语中是什么？
作为一名数学学生，当我了解 Haskell 中的 monad 时，我做的第一件事就是检查它们是否确实是我所知道的意义上的 monad。但后来我了解了 monad 转换器…
函子对于 (a -> b) -> (fa -> fb)，是什么 (Category c) =>驾驶室-> c（fa）（fb）？
我想要一个函数，用于将纯函数映射到容器或通过它对应用/单子操作进行排序。对于纯映射，我们有 fmap :: Functor f => (a -> b) -> (f a -> f b) 对于…
可表示函子同构于 (Bool -> a)
我想我会尝试有趣的 Representable-functors 包为给定的函子定义 Monad 和 Comonad 实例data Pair a = Pair a a，用Bool表示；正如我之前关于向量 mon…
Haskell： join 是如何自然转变的？
我可以在 Haskell 中将自然变换定义为： h :: [a] -> Maybe a h [] = Nothing h (x:_) = Just x 并使用函数 k： k :: Char -> Int k = ord 满足自然性…
接合组织同态前原态的现实应用
是的，这些： {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.H…
所有 Haskell 函子都是内函子吗？
我有点困惑，需要有人来纠正我。让我们概述一下我目前的理解： 其中 E 是一个 endofunctor，而 A 是某个类别： E : A -> A. 因为 Haskell 中的所有类…
liftM 与 liftA 有什么不同吗？
根据Typeclassopedia（以及其他来源）， Applicative 逻辑上属于类型类层次结构中的 Monad 和 Pointed （以及 Functor），因此我们理想情况下应该有类…
- 共 1 页
- 1
