applicative 相关问题

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

liftM函数是否被剥夺了其单调的本质？

monad和appalative之间的区别在于，前者可以根据前一个结果选择下一个计算：（\ x->如果x == 1，则（\ _-> []）否则（\ y->（\ z-> \ w-> ...

haskell functional-programming monads applicative lifting

回答 1 投票 1

如何为适用实例创建适当的“纯”？

我发现对于此Applicative实例，至少有2个pure的实现，它们遵循所有定律（同一性，同态，互换，组成）。其中之一还是错的吗？ ...

haskell applicative

回答 2 投票 3

应用程序：vs. pure和

经过一段时间的示例，对我来说，在使用Control.Applicative类型类时，看起来myFunction和纯myFunction是等效的。例如：（++）

haskell applicative

回答 1 投票 1

Applicative类型类的实例的要求与它们对Functor的实现有何关系

根据Haskell的库文档，Applicative类的每个实例必须满足以下四个规则：身份：纯id v = v成分：pure（。）u v

haskell typeclass functor applicative

回答 1 投票 0

违反适用适用法律的行为

摘自在线课程。假设对于标准列表Applicative函子，以标准方式定义了运算符，而pure变为pure x = [x，x] ...

haskell applicative

回答 1 投票 1

无法在Monad实例定义中将类型“ a”与错误“ b”匹配

我正在编写一个haskell程序来执行一堆语句以修改数据记录。我想对每个语句的状态进行修改和测试，而无需用户干预。我有...

haskell monads functor monad-transformers applicative

回答 1 投票 2

如何为以下数据类型定义monad实例？

这是我必须使用的代码：infixl 9：@：-这是在表达式数据应用中使用的新定义的符号Expr = Lit Integer-文字| Var String-一个...

haskell expression monads environment applicative

回答 1 投票 1

了解Scala应用函数

scala functional-programming functor applicative

回答 2 投票 1

如何根据绑定定义应用？

在Haskell中，Applicatives被认为比Functor强，这意味着我们可以使用Applicative来定义Functor，例如-Functor fmap ::（a-> b）-> fa-> fb fmap f fa = pure f fa ...

haskell monads functor applicative

回答 3 投票 1

考虑这个liftA2函数：liftA2 ::（也许a->也许b->也许c）->也许a->也许b->也许c liftA2 f什么都没有=什么都没有liftA2 f（只是x）什么都没有。 ..

haskell monads applicative category-theory

回答 2 投票 0

在Haskell中，为什么应用程序需要在同一个上下文中接受态射和数据？

我是Haskell的新手。这可能是愚蠢的问题。由于Applicative类型类具有apply函数，因此它在相同的上下文中接收函数和数据。为什么它不能与众不同并且更通用。 ...

haskell functor applicative

回答 1 投票 0

陷入无限循环的应用解析器

我正在尝试实现自己的Applicative解析器，这是我使用的代码：{-＃LANGUAGE ApplicativeDo，LambdaCase＃-}模块Parser其中-实现Applicative Parser导入Data.Char ...

haskell lazy-evaluation applicative

回答 1 投票 1

自定义ZipList的实现适用

haskell typeclass applicative algebraic-data-types custom-data-type

回答 2 投票 3

适用于ZipList的实现

[这来自《第一原理》中Haskell的练习。练习是为ZipList实施Applicative，类似于Prelude的ZipList。这本书有这个提示检查...

haskell applicative

回答 1 投票 1

如何使Applicative的实例成为某种数据类型

[我正在阅读有关Haskell的Graham Hutton的书，并且不要一口气地进行一项练习。练习如下：给定以下类型表达式，数据Expr a = Var a | Val Int | ...

haskell monads applicative

回答 1 投票 1

为什么“ let”语句强制“应用do”语句块要求monad约束？

考虑此示例：{-＃language ApplicativeDo＃-}模块X，其中数据元组ab =派生元组ab显示示例函子（元组a）其中fmap f（元组xy）=元组x（fy）实例...

haskell monads ghc applicative do-notation

回答 2 投票 3

为什么“ let”语句强制“ applyciative do”块需要monad约束？

考虑此示例：{-＃language ApplicativeDo＃-}模块X，其中数据元组ab =派生元组ab显示示例函子（元组a）其中fmap f（元组xy）=元组x（fy）实例...

haskell monads ghc applicative

回答 1 投票 2

如何在兔子入侵问题中运行任意几代人

我正在解决haskell Wikibook中的一个问题，完全陷入困境。他们要求“在列表monad章节中概括任意数量的兔子入侵示例”。 ...

haskell bind monads applicative replicate

回答 1 投票 1

读取错误为Prelude.read的自定义数据类型：未解析

我对函数式编程非常陌生，我几乎没有以下自定义数据类型来代表一副纸牌。西装数据的数据类型西装=黑桃|俱乐部|钻石|心衍生（...

haskell functional-programming monads functor applicative

回答 1 投票 1

如何实现对应用性计算的协同程序？

这里要说的是避免了像嵌套图案的协程（链（米）（链（...））为一元计算：const的一些= X =>无=>一些=>一些（X）; const的无=无=>一些=>无; ...

javascript functional-programming monads functor applicative

回答 1 投票 3

applicative 相关问题

最新问题