applicative 相关问题

在Haskell中，Applicative仿函数是仿函数，因此两个函数值可以合并为一个，而内部的两个值通过功能应用程序组合。应用仿函数比仿函数具有更多结构，但不如monad。

什么是最简单但最优雅的方法来不短路并收集错误直到使用它们的值？积累错误有什么难的？仅当函数调用重新时才短路...

haskell error-handling monads applicative semigroup

回答 1 投票 0

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 functor applicative haskell-lens

回答 2 投票 0

Idris：不能将函数用作应用函子吗？

在 Haskell 中，我习惯在函数上使用 liftA2 作为 S' 组合器。这是有效的，因为 Haskell STL 实例化了函数的 Functor 和 Applicative（请参阅 https://hackage.haskell.org/package/...

functor typechecking applicative idris2 combinatory-logic

回答 1 投票 0

应用函子 - Haskell

纯 (+) <*>（仅 1）<*>（仅 2）上述表达式的展开是否正确？纯 (+) <*>（仅 1）<*>（仅 2） =（仅（+））<*>（仅1）<*>（仅2） =...

haskell applicative

回答 2 投票 0

将自同态转化为应用性

假设我们有一个具有明显操作的数据向量（因此向量是 Monoid 的实例） (+):: 矢量 -> 矢量 -> 矢量现在，假设我们希望某个对象可以通过矢量移动。说我完全知道...

haskell coordinate-transformation applicative monoids

回答 1 投票 0

我们可以在 Haskell 中始终使用 <$> 来定义“point free”函数吗？

我一直在学习 Haskell 中的 <$> 和 <*> 运算符有多么强大，以及如何在通常需要的地方定义一些不带参数的函数。我

haskell functor applicative

回答 1 投票 0

这个“Coapplicative”类是 Comonad 的超类吗？

回想一下 Applicative 类：类函子 f => 应用 f 其中纯 :: a -> f a liftA2 :: (a -> b -> c) -> f a -> f b -> f c (<*>) :: f (a -> b) ->...

haskell functor applicative comonad

回答 1 投票 0

Haskell 中双序列和位遍历的关系是如何工作的？

我在“心理类型检查”Haskell 中的双序列和位遍历之间的关系时遇到了一些麻烦。根据文档，这是他们的签名：双序列 :: (

haskell applicative

回答 0 投票 0

不知道Applicative是不是通过MonadTransformer的Monad自然衍生出来的

从类型约束的角度来看，Monad是从Applicative派生出来的，这和我在题目中写的是相反的。但是，这不是错误。在研究 Monad 的时候，我检查了所有 ...

haskell monads monad-transformers applicative

回答 0 投票 0

Haskell：实现应用列表

这是一个自我激励的练习。为了让 <*> 的最终情况起作用，我求助于将串联作为辅助函数来实现。我错过了一个把戏吗？也就是说，这种情况...

haskell applicative

回答 2 投票 0

Scala 中 EvalOption[A] 的 Monad 实例

想象一个 EvalOption 类型定义如下：输入 EvalOption = [A] =>> Eval[Option[A]] 是否有可能以维护 Eval 堆栈安全的方式创建 Monad 实例...

scala monads scala-cats applicative flatmap

回答 1 投票 0

为什么相互屈服使得ArrowApply和Monads等同，不同于Arrow和Applicative？

这是我要参考的SO帖子。另外，为了不把材料分开，我在那个问题上要用和上位者一样的片段。众所周知，一个ArrowApply实例......。

haskell monads applicative category-theory arrows

回答 1 投票 8

哈斯克尔：一些和许多[重复]。

Control.Applicative.Alternative中的some和many有什么用？如果我写一些像some $ Just 42这样的东西，似乎会引起无限递归，这似乎不是很有用...。

haskell applicative combinators haskell-alternative some-and-many

回答 1 投票 11

Haskell - Control.Applicative.Alternative有什么用？

我在看Haskell库中的Applicative类，偶然发现了Alternative。这个班有什么用？在谷歌上搜索了一下，并没有发现什么特别有见地的东西。而它...

haskell applicative haskell-alternative

回答 2 投票 29

如何使用`some`？

我想使用替代方法http://hackage.haskell.org/package/base-4.12.0.0/docs/src/GHC.Base.html#some中的某些功能。我尝试过：* MyParser Data.Attoparsec.Text Control.Applicative ...

haskell applicative haskell-alternative some-and-many

回答 1 投票 2

关于应用程序的多个参数不起作用？

因此，我试图了解单子，函子和应用程序。我创建了以下名为Maybe的重命名镜像匹配，有时称为。（我这样做是为了了解这些事情）数据有时a = ...

haskell monads applicative

回答 1 投票 1

如何启用应用验证以返回MonadThrow？

在我看来，Haskell中验证输入数据的一种惯用方式是通过一条应用链：mkMyData :: a-> b-> c->也许MyData mkMyData xyz = MyData ...

validation haskell error-handling monads applicative

回答 1 投票 1

两个应用程序/单子程序都保持单曲面结构但以稍微不同的方式具有什么实际含义？

我已经阅读了此问答，但不了解类别理论部分。到目前为止，这是我的推理：当我查看类型F（a-> b）-> F a-> F b（a-> M b）-> M a-> M ba-＆...

haskell functional-programming monads applicative monoids

回答 1 投票 3

如何组合两个组成的应用函子？

我有两个组成的应用函子，也许是[Integer]，想将它们与/组合，但我仍然坚持应用应用运算。以下内容不会进行类型检查：（＆...

haskell composition applicative

回答 4 投票 1

liftA2是否保留关联性？

给出一个运算（??）使得（a ?? b）?? c = a ?? （b ?? c）（也就是说（??）是关联的）是否必须满足liftA2（??）（liftA2（??）ab）c = liftA2（??）a（liftA2（?? ）bc）（...

haskell applicative semigroup

回答 1 投票 6

applicative 相关问题

最新问题