applicative 相关问题

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

读者monad可以做什么,应用功能不能?

阅读http://learnyouahaskell.com/functors-applicative-functors-and-monoids#applicative-functors后,我可以提供一个使用函数作为applicative functor的例子:假设res是...

回答 2 投票 7

不是Functor / Functor / Applicative / Monad的好例子?

在向某人解释类型类X是什么时,我很难找到正好是X的数据结构的好例子。所以,我请求示例:一个不是Functor的类型构造函数。一个 ...

回答 5 投票 196

如何将可选标志解析为Maybe值?

我正在尝试使用optparse-applicative来解析一个Maybe String,但我找不到任何地方如何处理Maybe。我发现的唯一的事情是添加一个默认值,但如果用户我真的需要一个Nothing

回答 1 投票 18

在“松散的monoidal仿函数”中,“松散”是什么意思?

我知道Applicative类在类别理论中被描述为“松散的monoidal仿函数”,但我之前从未听过“lax”这个术语,而且lax functor上的nlab页面是一堆我不知道的东西......

回答 1 投票 16

什么是应用效果?

有效的应用程序设计中效果概念的含义是什么?例如,下面表达式的哪些部分是效果? [(+1)] [2,3]只是(+1)没什么

回答 4 投票 6

将列表转换为Elm中的元组

(转到Reddit)如何将已知长度列表转换为相同长度的元组?有没有办法使用applicatives这样做?更具体地说,我使用的是Random.Pcg ....

回答 1 投票 2

(fmap.fmap)for Applicative

fmap.fmap允许我们将“两层深度”变成一个仿函数:fmap.fmap ::(a - > b) - > f(g a) - > f(g b)这对于applicative仿函数也是可行的吗?假设我想结合Just(+ ...

回答 2 投票 3

应用函子的这个定义中的get()和unit()是什么?

我试图在java中编写一些函子,monad和applicatives。我发现了一些,并选择了下面的一个。在类别理论方面,什么是get()返回?单位()似乎某种......

回答 1 投票 -1

在可穿越性的自然性中,什么是“应用转型”?

Traversable类中的遍历和sequenceA函数必须满足以下“自然性”定律:t。遍历f ==遍历(t.f)t。 sequenceA == sequenceA。 fmap t为每个'应用...

回答 1 投票 0

在纯粹和liftA2方面,什么是适用的仿函数法则?

我正在使用pure和liftA2来配制Applicative(因此()= liftA2 id成为派生组合子)。我可以想到一堆候选法则,但我不确定......

回答 2 投票 11

`sequenceA`的工作原理

我是Haskell的新手,并试图了解这是如何工作的? sequenceA [(+ 3),(+ 2),(+ 1)] 3我从定义序列开始A ::(Applicative f)=> [f a] - > f [a] sequenceA [] = ...

回答 3 投票 4

Haskell中的有效编程[关闭]

Haskell中有效的编程意味着什么?它基本上只是说使用applicative functor和简洁的函数?

回答 1 投票 1

应用风格的实际用途是什么?

我是Scala程序员,现在正在学习Haskell。很容易找到OO概念的实际用例和现实世界的例子,例如装饰器,策略模式等。书籍和互联网被填充......

回答 11 投票 63

是否有针对Applicative的翻转操作符?

运营商$。或者<<< = << <= <很好地在一起,每个人在某种意义上将左边的东西应用到右边的东西上。当想到另一个......

回答 1 投票 5

我们可以撤销列表的应用吗?

我正在阅读有关scalaz的内容,并注意到我们可以列出Applicatives作为List的应用。 def sequenceA [F [_]:Applicative,A](list:List [F [A]]):F [List [A]] = list match {...

回答 1 投票 1

© www.soinside.com 2019 - 2024. All rights reserved.