什么是Cocartesian comonoid，什么是Cocartesian comonoidal函子？
我最近一直在尝试使用Monoid和分销剂，我认为我发现了一些有趣的东西（在答案中描述了） - 这些已经是已知的结构吗？ （我一直无法在线找到对它们的任…
为什么纯的类型是 - ＆gt; fa，而不是（a - ＆gt; b） - ＆gt; F（a - ＆gt; b）应用？
PURE用于将正常函数转换为应用程序容器中的功能。这样，任何多参数操作都可以在应用上使用。在这种情况下，不希望纯为 a - ＆gt; f a 类型，它只是希…
为什么不将所有功能定义为应用于应用的所有功能？
internalAnd :: Bool -> Bool -> Bool internalAnd True True = True internalAnd _ _ = False (&&) :: Applicative m => m Bool -> m Bool -> m Bool…
组合 2 个列表的元素
假设我们有两个列表： val l1=List("a","b","c") val l2 = List("1","2","3") 我想要的是： List("a1", "b2", "c3") 也就是说，将 l1 的第 n 个元素与…
如何证明单子是一个函子和一个应用函子？
理论上，Monad 是函子和具体应用函子的子集，尽管 Haskell 的类型系统中没有指出这一点。 知道了，给定一个 monad 并基于 return 和 bind，如何： 导…
有人可以解释一下这段代码中应用实例是在哪里出现的吗？
isAlphaNum :: Char -> Bool isAlphaNum = (||) isAlpha isNum 我可以看到它有效，但我不明白 Applicative （或 Functor）的实例来自哪里。…
State 和其他 MTL monad 的应用实例？
查看 Control 的文档。应用性，我注意到它们有某些单子的实例声明（例如IO、Maybe，尤其是ST） ，但是有没有 MTL monad 的实例，例如 State 和 RWS。…
applicative <* 的一元等价物
阅读安东尼的回复后一个与样式相关的解析器问题，我正在尝试说服自己编写单体解析器仍然可以相当紧凑。 因此， reference :: Parser Transc reference…
Haskell - Control.Applicative.Alternative 有什么用？
我正在查看 Haskell 库中的 Applicative 类，并偶然发现了 替代。 这门课有什么用？谷歌搜索没有发现任何特别有见地的东西。它似乎完全不合适，因为它…
有没有办法逐步显示 Clojure 如何评估函数？
我刚刚开始自学 Clojure。作为补充学习的一部分，我观看了加州大学伯克利分校 Brian Harvey 的一些关于函数式编程主题的讲座。在他的关于函数式编程的…
