Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
如何编写返回 Validation 的函数?
这是我之前的后续question https stackoverflow com questions 30527740 composing validating functions in scala 假设我有两个验证函数 如果输入有效则返回
scala
validation
scalaz
applicative
证明 Applicative 和 Monad 的序列定义的等价性
我怎样才能正确地证明这一点 sequenceA Traversable t Applicative f gt t f a gt f t a sequenceA pure sequenceA x xs pure lt gt x lt gt s
list
Haskell
monads
applicative
equivalent
如何用bind来定义apply?
在 Haskell 中 Applicatives 被认为比 Functor 更强 这意味着我们可以使用 Applicative 来定义 Functor 例如 Functor fmap a gt b gt f a gt f b fmap f
Haskell
monads
functor
applicative
Haskell:hackage Control.Applicative 文章中应用函子法则的描述存在缺陷?:它说 Applicative 决定函子
我想我发现了一个缺陷黑客文章Control Applicative http hackage haskell org package base 4 8 0 0 docs Control Applicative html 作为对应用函子定律的
Haskell
functor
applicative
hackage
应用部分比 Monad 部分可以更好优化的 monad 示例
在一次讨论中我听说Applicative一些解析器的接口的实现方式不同 但比它们的更有效Monad界面 原因是与Applicative在运行整个有效计算之前 我们提前知道所有 效果 对于 monad 效果可能取决于计算期间的值 因此这种优化
performance
Haskell
monads
applicative
equenceA 如何处理成对的列表?
分拆出来this https stackoverflow com a 64068980 5825294问题 直觉上我明白了什么sequenceA在该用例中确实如此 但不是how why它是这样工作的 所以这一切都归结为这个问题 如何sequ
Haskell
applicative
Control.Applicative 中“pure”函数的命名[关闭]
Closed 这个问题不符合堆栈溢出指南 help closed questions 目前不接受答案 为什么将值提升为函子的函数命名为pure在控制 应用 考虑到pure作为形容词 foo lt gt pure 4 foo应用于pure v
Haskell
applicative
如何在不使用 zip() 的情况下将不同类型的 Future 组合成一个 Future
我想创造一个类型的未来Future Class1 Class2 Class3 从下面的代码 然而 我发现做到这一点的唯一方法是使用 zip 我发现这个解决方案很丑陋而且不是最佳的 谁能启发我 val v for a lt val f0 Fu
scala
akka
Future
applicative
矩阵作为应用函子,不是 Monad
我遇到examples https stackoverflow com questions 7220436 good examples of not a functor functor applicative monad不是 Monad 的
Arrays
scala
monads
applicative
categorytheory
ap 在 Haskell 中如何以及为何被定义为 liftM2 id
在试图更好地理解 Applicative 的同时 我查看了 的定义 它往往被定义为 ap 而 ap 又被定义为 ap Monad m gt m a gt b gt m a gt m b ap liftM2 id 查看 liftM2 和 id
Haskell
applicative
在应用中,如何用“fmap_i, i=0,1,2,...”来表示“<*>”?
Applicative 类声明为 class Functor f gt Applicative f where pure a gt f a lt gt f a gt b gt f a gt f b 我们可以代表fmapi i 0 1 2 按
Haskell
functor
applicative
组合 2 个列表的元素
假设我们有两个列表 val l1 List a b c val l2 List 1 2 3 我想要的是 List a1 b2 c3 即 将 l1 的第 n 个元素与 l2 的第 n 个元素相加 实现它的一种方法是 l1 zip l2 map
scala
scalaz
applicative
具有两个参数的构造函数的应用样式解析器
我想为尖括号中逗号分隔的一对值编写一个解析器 我通过以下方法让它工作 pair p1 p2 do x1 lt p1 comma x2 lt p2 return x1 x2 data Foo Foo Bar Bar foo Parser Fo
Haskell
Parsec
applicative
何时以及为什么应该在 Scala 中使用 Applicative Functors
我知道Monad在Scala中可以表示如下 trait Monad F def flatMap A B f A gt F B F A gt F B 我明白为什么它很有用了 例如 给定两个函数 getUserById userId Int O
scala
functionalprogramming
applicative
如何解释函数实例的bind/>>>=?
我正在努力提高我的理解Applicatives and Monad通过在 Javascript 中实现其函数实例来实现 我对 Haskell 的了解有限 我希望我的问题有意义 这是我的实现fmap lt gt and gt gt 为了Fun
Haskell
functionalprogramming
monads
applicative
如何在 Scala 中为 Option[List[_]] 定义 <*>
这是我之前的后续question https stackoverflow com questions 28850636 example of applicative composition in scala在互联网上找到一个例子 假设我定义
scala
applicative
Applicative 之于 monad 就像 X 之于 comonad
我们能解这个方程的 X 吗 Applicative 之于 monad 就像 X 之于 comonad 想了想 我觉得这其实是一个倒退的问题 有人可能会认为ComonadApply https hackage haskell org pack
Haskell
monads
applicative
comonad
Monad 比 Applicative 更强大?
我在看过去的讨论 https stackoverflow com questions 23342184 difference between monad and applicative in haskell但不明白为什么任何答案实际上都是正
Haskell
functionalprogramming
monads
functor
applicative
最小纯应用解析器
我试图找出如何基于一个简单的构建 纯应用解析器 parser http dev stephendiehl com fun 002 parsers html执行 解析器在其实现中不会使用 monad 我之前问过这个问题 但错误地回答了这个问题
Parsing
Haskell
monads
applicative
我不清楚应用函子评估
我目前正在阅读 Learn a Haskell for Great Good 并且我偶然发现了对某个代码块的评估的解释 我已经阅读了几次解释 并且开始怀疑作者是否理解这段代码的作用 ghci gt lt gt 3 lt gt 100 5 5
Haskell
functionalprogramming
applicative
1
2
3
»