haskell - mapM putStrLn ["a", "b"] 为什么它显示三行？

Question

Prelude> mapM putStrLn ["a", "b"]
a
b
[(),()]
Prelude> mapM_ putStrLn ["a", "b"]
a
b

为什么第一个版本显示第三行而第二个没有，第三行来自哪里。我没想到。

Answer 1

如果你把 mapM独立程序中的版本，使用 ghc 编译它，然后运行它，你也不会从中得到第三行:

$ cat demo.hs
main = mapM putStrLn [ "a", "b" ]
$ ghc demo.hs
$ ./demo
a
b
$

那个 [(),()]您在 ghci 中看到只是 mapM 的返回值称呼; ghci自动显示您输入的每个表达式的值。 (这就是为什么 ghci 被称为读取-评估-打印循环，或 REPL；“打印”部分就是您在这里看到的。)

虽然 mapM创建一个包含每个 putStrLn 的返回值的列表调用(因此对于列表中的每个元素，您会得到一个 ())， mapM_丢弃那些返回值并返回 IO () , 其中 ghci懒得显示。所以你没有看到来自 ghci 的额外行在这种情况下。