文章/答案/技术大牛

发布

社区首页 >问答首页 >lambdabot建议加入，但它不起作用

问lambdabot建议加入，但它不起作用
EN

Stack Overflow用户

提问于 2013-04-23 03:59:24

回答 1查看 201关注 0票数 4

下面是一个高阶函数，它将一个参数应用于给定函数两次：

dapp :: (a -> a -> a) -> a -> a
dapp = \f x -> f x x

ghci> dapp (*) 5
25

我们能长话短说吗？让我们问问lambdabot：

lambdabot> @pl \f x -> f x x
join

万岁！让我们试试看：

import Control.Monad (join)

dapp :: (a -> a -> a) -> a -> a
dapp = join

但是它不工作:(

No instance for (Monad ((->) a))
  arising from a use of `join'
Possible fix: add an instance declaration for (Monad ((->) a))
In the expression: join
In an equation for `dapp': dapp = join

这一切为什么要发生？我是否导入了错误的join？我在胡格尔上找不到另一个join。

haskell

join

monads

higher-order-functions

lambdabot

回答 1

Stack Overflow用户

回答已采纳

发布于 2013-04-23 06:04:19

Until recently、用于(->) r的Functor和Monad实例是Control.Monad.Instances中的orphan instances。

然而，从base-4.6.0.0 (GHC7.6.1)开始，这些实例已经被移动到Prelude和Control.Monad.Instances has been deprecated (现在是空的)。

因此，要使用这些实例，请导入Control.Monad.Instances或升级您的GHC。

票数 10

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/16155629

复制

相似问题

问lambdabot建议加入，但它不起作用
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问lambdabot建议加入，但它不起作用EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问lambdabot建议加入，但它不起作用
EN