applicative 相关问题

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

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

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

回答 4 投票 1

liftA2是否保留关联性?

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

回答 1 投票 6

将混合类型(可能是适用类型)的参数应用于函数的最佳方法

我对Haskell和函数式编程还很陌生,最近我正在学习有关函子,应用程序和Monad的知识。虽然我似乎了解基本知识,但在弄清楚...

回答 1 投票 1


如何使用languageext使用应用验证?

我正在尝试将带有教学库LaYumba的应用验证示例移植到LanguageExt。这是LaYumba代码(按预期工作):使用系统;使用System.Linq;使用...

回答 1 投票 0

在哪里使用`ApplicativeError`而不是`Either`?

存在ApplicativeError [F,E] + F [A],并且存在Either [E,A]。两者都传达了该函数可能会以E失败或以 A失败的消息,但是我不确定它们是否是不同的消息...

回答 1 投票 2

Applicative接口是否提供超出将多参数函数(以咖喱形式显示)放到Functor中的功能?

应用程序通常是一种将多参数函数提升到函子并将函子值应用到函子的方法。但我想知道是否还有一些微妙的附加功能源自……

回答 1 投票 0

Haskell类型类可以部分实现吗?

我想制作一个成对的类型来表示模块化算术。我将其构造函数设为{-语言GADT-}数据Zn e,其中Zn :: Integer-> Integer-> Zn Integer因为我想成为...

回答 1 投票 1

()的定义

我可以假设以下内容适用于所有应用程序吗? f1 f2和f1 *> f2 = fmap(flip const)f1 f2

回答 1 投票 0

ignore ::适用f => f a-> f()

我需要具有此签名的任何功能:忽略::适用的f => f a-> f()有人可以指出我正确的方向吗?谢谢!

回答 1 投票 -3

适用于用户定义的类型

我正在尝试为此类型的数据编写Applicative。 ColumnB a我写了一个Functor实例:实例Functor Choice其中fmap f(ColumnA a)=(ColumnA(f a))fmap f(...

回答 2 投票 1

ghci是否适用特殊情况?

在ghci中:λ>:t(纯1)(纯1)::(适用f,Num a)=> faλ> show(纯1) :1:1:(Show(f0)没有实例a0))是由于使用了'show'...

回答 1 投票 9



纯净的GHCi中来自应用程序的怪异行为

我正在阅读Scott Wlaschin撰写的出色的文章了解地图并应用,并运行一些Haskell代码以了解概念(Functor,Applicative等)。我偶然发现了我的行为...

回答 1 投票 1

一个人何时应该在单子上使用止痛药?

[我一直在使用Scala并更深入地了解函数式编程,所以我选择了Hashamell中的Graham Hutton的编程(喜欢它:)。在有关Monads的章节中,我对...有了初步了解。

回答 1 投票 2

在应用中需要纯正

我正在学习Haskell的Applicatives。在我看来(我可能错了),实际上并不需要纯函数,例如:pure(+)[1,2,3] [3,4,5]可以写成(+ ...

回答 1 投票 1


The

我得到了以下代码newtype Parser a = Parser {parse :: String-> Maybe(a,String)}实例适用的解析器,其中纯a = Parser $ \ s-> Just(a,s)fa =。 ..

回答 1 投票 0

Haskell中的组合解析器

我得到了以下解析器新类型的解析器a =解析器{parse :: String->也许(a,String)}实例Functor解析器,其中fmap fp =解析器$ \ s->(\(a,c)-> (fa,c))...

回答 1 投票 1

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