fmap over variable参数函数

文章/答案/技术大牛

发布

1回答

haskell、functor

我想在变量参数函数上定义fmap： VarArg '[] e = e DNil :: eLens.from varArgIso) . f)) instance Functor (VarArgD

浏览 6提问于2017-07-19得票数 1

回答已采纳

2回答

如何制作同一参数化类型的异构类型的容器？

haskell

我正在尝试实现这样的目标：我希望这个容器也是一个函数器。我设法制作了一个参数化的容器FooContainer，但我想处理异构类型。

浏览 0提问于2018-10-09得票数 1

1回答

不理解fmap在Haskell中的作用和价值

haskell

我对这句话的结果感到困惑：它产生类型：我所期待的是，其结果将与所做的一样：它产生一个1参数函数：30Prelude> (fmap (*)3) 10 <interactive>:

浏览 10提问于2015-08-26得票数 0

回答已采纳

1回答

Haskell - fmap fmap不工作

haskell、types、ghci

我最近读到关于函数器和应用函数器的文章，我想如果你不能使用函数器的原语来实现类似于应用函数器的<*>。type variable `f1' in the constraint: Probable fix: add a type signature that fixes these ty

浏览 3提问于2011-04-30得票数 5

回答已采纳

2回答

派生函式实例，而不是在最后一个类型参数上

haskell、ghc、scrap-your-boilerplate、ghc-generics

我想要的是自动派生fmap，它在第一个参数上充当函子。我想导出一个如下所示的函数：当我使用普通的fmap时，我会得到一条编译器消息，表明fmap试图将其函数应用于最后一个类型参数，而不是第一个类型参数。有什么方法可以像我描述的那样导出函数，而不需要编写一堆样板呢？Expr a Def

浏览 3提问于2014-12-28得票数 4

回答已采纳

4回答

为什么向工作函数添加as-pattern会导致编译错误？

haskell、types、as-pattern

Either a的标准函数器实例 fmap _ (Left x) = Left x当加载到GHCi中时，添加as-pattern会导致编译错误： fmapmatch expected type `b' against inferred type `a1'

浏览 2提问于2012-08-21得票数 7

2回答

fmap替换解析树中的文字

haskell

BinaryExpression String (Expressions a) (Expressions a)| Variables Variable我想是这样的：我想:文字b，==文字，每个表达式都有a。

浏览 4提问于2021-12-13得票数 2

回答已采纳

2回答

fmap的参数太多了

haskell、functor

第一个参数，即期望fmap是一个带有一个参数的函数。fmap :: Functor f => (a -> b) -> f a -> f bPrelude> x = fmap (\x y -> x * y) 如您所见，fmap的第一个参数是一个函数，它有两个参数。上面传递给fmap的函数有两个参数

浏览 4提问于2017-07-11得票数 2

回答已采纳

2回答

b可以是函数类型，还是必须是非函数类型？如果它们可以是函数类型，那么在使Functor能够应用于任意数量的参数的函数方面，类fmap是否与类Applicative实际上是一样的？根据赫顿在Haskell中的编程，Hutton说：函子抽象了fmap映射一个函数在结构的每个元素上的思想。Applicatives将这一思想推广到允许映射任意数量的参数的fmap映射函数，而不是仅限于使用单个参数

浏览 1提问于2019-07-17得票数 4

回答已采纳

3回答

映射新类型内的值

haskell、newtype

newtype A a = A af :: A a -> A anewtype B a = B (A a)(<$$>) :: k a -> k b -> h (k a) -> h (k b)fb = (f <$$>) 也许这种抽象已经存在

浏览 0提问于2017-09-21得票数 3

回答已采纳

2回答

(fmap.fmap) sum是如何在Haskell中进行[1,2,3]类型检查的？

haskell

我不明白在Haskell中这个简单的表达式类型是如何检查的fmaps的合成类型为： :: (Functor f1,Functor f) => (a -> b) -> f (f1 a) -> f (f1 b)t (fmap.fmap) _ Just

浏览 9提问于2020-05-04得票数 2

回答已采纳

2回答

基于变量调用某个函数

python

我试图根据某个变量调用某些函数。如果我有很多基于这个变量的函数，那么所有If语句都会很快变得很难看。我的问题是，是否有比做下面的代码更优雅和"pythonic“的解决方案？if variable == 0:elif variable == 1:elif variable == 2: function

浏览 0提问于2020-10-12得票数 0

回答已采纳

1回答

无法匹配类型‘a’和‘a1’

haskell、functor

我正在Haskell编程中从第16章开始练习，问题是要求我们为数据类型编写函数式定义：newtype Flip f a b = Fliphs:17:25: error: ‘a1’ is a rigid type variable bound bythe type signature for: fmap :: forall a1 b.(a1 ->

浏览 0提问于2018-10-26得票数 0

回答已采纳

2回答

Haskell中函数类型声明中括号的详细信息

haskell

我目前正在阅读有关identity Monad的文章，其中一篇文章将fmap定义为：fmap f (W x) = W (f x)fmap :: (a -> b) -> W a ->

浏览 1提问于2014-07-21得票数 3

回答已采纳

1回答

Haskell中的同构` `fmap`‘

haskell、functor

Functor f -> (a -> b) -> (b -> f b)wfmap x u w g = fmap

浏览 1提问于2016-12-03得票数 6

回答已采纳

1回答

尝试实现Data.Either

haskell、functor、either

为了帮助我学习应用函数器和函数器，我认为看看Either是如何用类型类Functor和Applicative实现的会很有趣。( t.hs, interpreted ) Couldn't match type `b' with `a1' at t.hs:4:5

浏览 2提问于2011-08-19得票数 12

回答已采纳

1回答

case-statement中的haskell部分应用程序

haskell

我很难理解这个函数是怎么回事。我的理解是，fmap f x返回一个接受最后一个参数y的函数。但是，在case语句中，y何时被“馈送”给fmap f x呢？func :: (Num a, Num b) => (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c Just

浏览 10提问于2020-01-15得票数 1

回答已采纳

1回答

如何为带有两个参数的类型创建函式实例，其中两个参数都必须是相同的类型？

haskell、functor

问题是，结对的两个参数都是相同类型的，所以当我编写我不能保证结果是有效的对，因为(f‘)可能是任何类型。g (fmap f x)) == (fmap (g . f) x) functorCompose' x (Fun _ f) (Fun

浏览 3提问于2016-03-11得票数 0

回答已采纳

2回答

类型变量a和b之间有什么区别？

haskell

考虑以下例子：fmap :: Functor f => (a -> b) -> f a -> f bPrelude> let replaceWithP = const 'p'Prelude> :t fmap</e

浏览 3提问于2017-07-03得票数 2

回答已采纳

3回答

组合在fmap中的应用

haskell、types、composition

几个星期以来，我一直试图弄清楚Haskell编译器是如何应用(.)致fmap。fmap :: Functor f => (a -> b) -> f a -> f b 编译

浏览 6提问于2016-10-15得票数 3

回答已采纳

点击加载更多