Haskell - Applicative/Monad实例

Question

我已经看到pure 1的类型是(Num a, Applicative f) => f a，这很明显。 所以，如果我想使它成为一个Maybe Int：

Prelude> pure 1 :: Maybe Int 
Just 1 

这个怎么样？

Prelude> pure 1 
1 
Prelude> return 1 
1 

这是怎么回事？为什么不抱怨不知道选择哪个实例？

编辑

我认为这个行为实际上已经无关单子或applicatives，但是这是我来到它的背景下...

Answer 1

这是ghci中的特殊性。它有特殊的处理动作IO，这些动作不只是“计算”并打印出来（你无法打印IO动作），而是执行结果^{＆dagger;打印了}。所以，

Prelude> pure 1 :: IO Integer 
1 

按照behzad.nouri的评论，here's the relevant manual section。

---

^＆dagger;_{只要它是IO a与Show a而不是a~()，否则只有该行为被执行。}