Haskell 文件 I/O 返回类型不匹配？

Question

转发通知，这是我使用 Haskell 的第一天。

所以我有一个函数parse :: String -> String，我正试图通过标准将文件传递给它，

input <- readFile "input.txt"

或其他标准，

handle <- openFile "input.txt" ReadMode
input <- hGetContents handle

我想表演的，

output <- unlines $ map parse $ lines input

（或者应该是规范格式）
现在据我了解， readFile 返回一个字符串，lines 接受一个字符串并返回一个字符串列表，并且 map 应该映射到一个字符串列表。如果这是真的，那么为什么lines input 告诉我得到了一个 [String] 而不是一个 String，而省略了 lines 而只有 map parse input 告诉我它得到了一个 String 而不是一个 [String]？

Answer 1

这是工作示例

parse :: String -> String
parse = id -- don't do anything to input

main = do
    input <- readFile "input.txt"
    let output = unlines $ map parse $ lines input
    print output

在您的示例中，除了 output <- 之外，一切都很好，应该用 let output = 替换，原因可能是您可能还不知道，根据您的措辞判断：readFile 返回一个字符串。正如在 cmets 中指出的那样，事实并非如此。它返回IO String，这意味着您可以启动一个 IO-action 并获取一个字符串（或者不...如果文件不存在）。 <- 操作可让您检查此操作的积极结果：它表示当操作成功时，您会得到一个字符串（您称之为input）。然后你就可以玩它了。

那么为什么<- 不适合在第二行（带有lines、map 等等）？很简单，因为里面没有动作。您正在那里应用 纯函数。通过let smth = 绑定纯计算的结果。

另外，请注意<- 和let X = 属于do-blocks，句法结构旨在编写一系列步骤来处理动作。相比之下，在纯函数中，您可以找到let X = … in（注意in）或where X = 来绑定中间结果。