Haskell Quine： "ap" Monad

Question

ハスケルで "ap"モナドを使う正しい方法は何ですか？私はこれに似た何かをしたい：

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

を私はエラーが出る「スコープではありません： 『AP』」を

「import Control.Monad」を使用しても何も起こりません。 そして私は、私は

Answer 1

がControl.Monadのインポートあなたapを与える必要があります「`AP」の型シグネチャを伴う結合が欠けている」得るそれを

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

を与えて試してみました。しかし、GHC（7.6.1以降）の最新バージョンを除くすべてのバージョンでは、機能のためにmonadインスタンスを使用するには、Control.Monad.Instancesをインポートする必要があります。

また、あなたはあなたのApplicativeに一般apある<*>オペレータ、だけでなく、機能とそれを使用するために必要なインスタンスを与えるControl.Applicativeをインポートすることができます。