在Haskell中，Applicative仿函数是仿函数，因此两个函数值可以合并为一个，而内部的两个值通过功能应用程序组合。应用仿函数比仿函数具有更多结构，但不如monad。
我正在阅读 Graham Hutton 写的《Programming in Haskell》一书。 我有一个关于练习 12.7 的问题。任务是展示如何制作该类型 数据 Expr a = Var a |瓦尔国际 |添加 (Expr a) (Expr...
我编写了以下函数（使用这些库）： import Control.Applicative（替代 ((<|>))，可选） 导入数据。这些（这些（..）） asumThese :: (替代 f, Monad f) ...
什么是最简单但最优雅的方法来不短路并收集错误直到使用它们的值？ 积累错误有什么难的？仅当函数调用重新时才短路...
Control.Lens.Tutorial 说： 输入 Traversal' a b = forall f 。应用 f => (b -> f b) -> (a -> f a) 输入 Lens' a b = forall f 。函子 f => (b -> f b) -> (a ->...
在 Haskell 中，我习惯在函数上使用 liftA2 作为 S' 组合器。这是有效的，因为 Haskell STL 实例化了函数的 Functor 和 Applicative（请参阅 https://hackage.haskell.org/package/...
纯 (+) <*>（仅 1）<*>（仅 2） 上述表达式的展开是否正确？ 纯 (+) <*>（仅 1）<*>（仅 2） =（仅（+））<*>（仅1）<*>（仅2） =...
假设我们有一个具有明显操作的数据向量（因此向量是 Monoid 的实例） (+):: 矢量 -> 矢量 -> 矢量 现在，假设我们希望某个对象可以通过矢量移动。 说我完全知道...
我们可以在 Haskell 中始终使用 <$> 来定义“point free”函数吗？
我一直在学习 Haskell 中的 <$> 和 <*> 运算符有多么强大，以及如何在通常需要的地方定义一些不带参数的函数。我
这个“Coapplicative”类是 Comonad 的超类吗？
回想一下 Applicative 类： 类函子 f => 应用 f 其中 纯 :: a -> f a liftA2 :: (a -> b -> c) -> f a -> f b -> f c (<*>) :: f (a -> b) ->...
我在“心理类型检查”Haskell 中的双序列和位遍历之间的关系时遇到了一些麻烦。根据文档，这是他们的签名： 双序列 :: (
不知道Applicative是不是通过MonadTransformer的Monad自然衍生出来的
从类型约束的角度来看，Monad是从Applicative派生出来的，这和我在题目中写的是相反的。 但是，这不是错误。 在研究 Monad 的时候，我检查了所有 ...
这是一个自我激励的练习。为了让 <*> 的最终情况起作用，我求助于将串联作为辅助函数来实现。我错过了一个把戏吗？也就是说，这种情况...
Scala 中 EvalOption[A] 的 Monad 实例
想象一个 EvalOption 类型定义如下： 输入 EvalOption = [A] =>> Eval[Option[A]] 是否有可能以维护 Eval 堆栈安全的方式创建 Monad 实例...
为什么相互屈服使得ArrowApply和Monads等同，不同于Arrow和Applicative？
这是我要参考的SO帖子。另外，为了不把材料分开，我在那个问题上要用和上位者一样的片段。众所周知，一个ArrowApply实例......。
Control.Applicative.Alternative中的some和many有什么用？如果我写一些像some $ Just 42这样的东西，似乎会引起无限递归，这似乎不是很有用...。
Haskell - Control.Applicative.Alternative有什么用？
我在看Haskell库中的Applicative类，偶然发现了Alternative。这个班有什么用？在谷歌上搜索了一下，并没有发现什么特别有见地的东西。而它...
我想使用替代方法http://hackage.haskell.org/package/base-4.12.0.0/docs/src/GHC.Base.html#some中的某些功能。我尝试过：* MyParser Data.Attoparsec.Text Control.Applicative ...
因此，我试图了解单子，函子和应用程序。我创建了以下名为Maybe的重命名镜像匹配，有时称为。 （我这样做是为了了解这些事情）数据有时a = ...
在我看来，Haskell中验证输入数据的一种惯用方式是通过一条应用链：mkMyData :: a-> b-> c->也许MyData mkMyData xyz = MyData ...
两个应用程序/单子程序都保持单曲面结构但以稍微不同的方式具有什么实际含义？
我已经阅读了此问答，但不了解类别理论部分。到目前为止，这是我的推理：当我查看类型F（a-> b）-> F a-> F b（a-> M b）-> M a-> M ba-＆...