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

发生了什么事？为什么不抱怨不知道选择哪个实例？？

编辑

我认为这种行为实际上与 monads 或 applicatives 无关，但这是我来到它的上下文......

Answer 1

这是 ghci 的一个特性。它对IO 操作具有特殊处理，这些操作不仅仅是“计算”和打印（无论如何您都不能打印 IO 操作），而是执行并结果^{†支持>打印。所以，}

Prelude> pure 1 :: IO Integer
1

根据 behzad.nouri 的评论，here's the relevant manual section。

---

^†_{如果它是IO a 和Show a 而不是a~()，否则仅执行该操作。}