Haskell Quine："ap“Monad

Question

在Haskell中使用"ap“monad的正确方式是什么？我想做一些类似的事情：

main = (putStr . ap (++) show) "main = (putStr . ap (++) show) "

但我得到的错误是“不在作用域内：‘ap’”。

使用“导入Control.Monad”什么也不做。我试着给它

"ap :: Monad m => m (a -> b) -> m a -> m b" 

然后我得到“‘`ap’的类型签名缺少附带的绑定”

Answer 1

导入Control.Monad应该会得到ap。但是，除了最新版本的GHC (7.6.1和更高版本)之外，在所有其他版本中，您还需要导入Control.Monad.Instances才能使用函数的monad实例。

或者，您可以导入Control.Applicative，这为您提供了<*>运算符，它是ap推广到Applicative的运算符，以及将其与函数一起使用所需的实例。