haskell - 没有因使用 ‘print’ 而产生 (Show (IO ())) 的实例

Question

只是为了学习，我在我的控制台 WinGHCi 上执行了此操作:

let ls = [putChar 'x',putChar 'y']

那么如果这样做:

head ls

输出显然是x (显然是在我理解原因的意义上)

否则如果我这样做:

tail ls

我收到此错误:

No instance for (Show (IO ())) arising from a use of ‘print’

In a stmt of an interactive GHCi command: print it

为什么？不应输出 y 或 [putChar 'y']？

Answer 1

此行为已解释 here .

head ls 的类型为 IO ()，因此 GCHi 执行操作并且不打印结果 ()。

相比之下，tail ls 的类型为[IO ()]。由于这不是一个 IO 操作，GCHi 尝试使用具有以下类型的 print 显示它:

print :: Show a => a -> IO ()

但是，由于 [IO ()] 没有 Show 实例，因此您会收到错误。如果您想评估操作，可以使用sequence_:

sequence_ (tail ls)