Haskell：没有通过 IO [FilePath] 得到这个

Question

通过 ghci 中的教程等进行工作 - 到目前为止一切顺利。但我完全错过了一些东西：我的函数构建了一个 IO [FilePath]“东西”。在 ghci 中，它的结果如下：

["xml","velocity.log.1","velocity.log"] （为简洁起见，列表被截断）

我看到该函数正在执行我想要的操作。下一步是我想自己“打印”出来。

我所做的任何事情都不允许我打印结果。我不想在 Haskell 中延续我的 Java/C#/Python 习惯 - 这样做没有意义。我相信 Haskell 有充分的理由以不同的方式做事，但我不知道如何从这个函数中获取（有限的）价值。

module Main (
    main
) where

import RecursiveContents

main = do putStrLn "this"
          getRecursiveContents "/home/xyz/myDir"

这有效。但是，如果我希望 main 打印 getRecursiveContents "/home/xyz/myDir" 的结果怎么办？

在 ghci 中，我只需输入/粘贴 getRecursiveContents "/home/xyz/myDir" ，内容就会喷涌而出 - 我需要做什么才能自己打印它？

如果我这样做：

在 ghci 中 let xyz = getRecursiveContents "/home/xyz/myDir" ，我能用 xyz 做的唯一事情就是输入： xyz 并查看结果。

我不能做头、尾等。我知道 IO [FilePath] 是一些特殊的东西，与数组或列表 [a] 不同 - 但是我所做的一切都无法帮助我理解如何克服这个问题。

我一定错过了一些东西 - 我在 Learn You a Haskell 或 现实世界 Haskell。我是不是 rtfm-ing 的地方不对？

任何反馈或毒打表示赞赏。

Answer 1

要获取 IO 操作的结果（即运行该操作），您可以将 IO 计算的结果绑定到一个变量：

假设：

getRecursiveContents :: FilePath -> IO String

然后您可以只打印结果：

main = do str <- getRecursiveContents "/home/xyz/myDir"
          print str

显然这只是一个例子，但是当函数实际上只有两行时，人们通常不会使用 do 表示法，并避免显式命名 str 的中间变量：

main = getRecursiveContents "/home/xyz/myDir" >>= print

Answer 2

在 do 符号中使用 <- 来访问 [FilePath]。然后，您可以使用任何列表函数来操作它，只要您最终执行一些 IO 操作即可。

main = do putStrLn "this"
          contents <- getRecursiveContents "/home/xyz/myDir"
          print contents

或者，您可以使用 >>= 将一个 IO 操作的输出提供给另一个操作。都是一样的，只是写法不同而已。

main = do putStrLn "this"
          getRecursiveContents "/home/xyz/myDir" >>= print

的 I/O 章节

• 如需更全面的解释，请参阅学习 Haskell
• 真实世界 Haskell

---

它在 GHCi 中工作的原因是，当 GHCi 评估你的表达式时，它会查看类型。如果是IO a，它将自动运行该操作并显示结果，而在真实的程序中，您必须自己执行此操作。请参阅 GHC 用户指南。

Answer 3

您可以绑定 do 块中的值。这也是您可以应用纯函数（如 show、tail 等）的地方：

main = do putStrLn "this"
          x <- getRecursiveContents "/home/xyz/myDir"
          putStrLn (show x)

如果 foo 的类型为 IO a，那么您需要使用 do 和 x <- foo 之类的方法来获取值。

请参阅任何 monad 教程以获取更多信息。