Applicative 的 ghci 特例？

Question

在 ghci 中：

λ> :t (pure 1)
(pure 1) :: (Applicative f, Num a) => f a
λ> show (pure 1)

<interactive>:1:1:
    No instance for (Show (f0 a0))
      arising from a use of `show'
    Possible fix: add an instance declaration for (Show (f0 a0))
    In the expression: show (pure 1)
    In an equation for `it': it = show (pure 1)
λ> pure 1
1

这是否意味着ghci执行Applicative并显示结果，就像IO一样？

请注意，pure () 和 pure (+1) 不会打印任何内容。

Answer 1

如果您使用return 而不是pure，您将获得相同的行为。要找出要做什么，ghci 必须为给定的表达式选择一个类型。 ghci 的默认规则是在没有其他约束的情况下，它选择IO 作为Applicative 或Monad 实例。因此它将pure 1 解释为IO Integer 类型的表达式。如果 1.a 具有 Show 实例且 2.a 不是 ()，则在提示符处输入的 IO a 类型的表达式将被执行并打印其结果。因此在提示符处输入pure 1会导致

v <- return (1 :: Integer)
print v
return v

正在执行（并且魔术变量it 绑定到返回的v）。对于pure ()，特殊情况适用，因为()被认为是无趣的，因此只执行return ()并且it绑定到()，对于pure (+1)，返回一个函数，没有Show实例对于范围内的函数，因此不会打印任何内容。然而，

Prelude Control.Applicative> :m +Text.Show.Functions
Prelude Control.Applicative Text.Show.Functions> pure (+1)
<function>
it :: Integer -> Integer
Prelude Control.Applicative Text.Show.Functions> it 3
4
it :: Integer

对于范围内的函数使用Show 实例，它会被打印（不是提供信息），然后可以使用该函数（当然，后者独立于范围内的Show 实例）。