带 IO 的递归函数

Question

我的下一个代码有问题，我的想法是创建一个函数，该函数从一个文件中返回一个单词列表，该文件具有一个元组中的目录。

gainData:: [FilePath] -> IO [([String],String)]
gainData[] = []
gainData(xz:xc) = do
    temp <- readFileP xz
    return ((temp,xz) : gainData xc)

函数 readFileP 得到一个包含文件所有单词的列表。

readFileP:: FilePath -> IO [String]

例如我想得到

[(["word","word1"],"fileAddress"),(["word","word1"],"fileAddress2")]

我不知道是什么问题，有人可以告诉我吗？谢谢。

Answer 1

你不能这样做：

return ((temp,xz) : gainData xc)

gainData 函数返回一个IO [something] 而不仅仅是[something]。 您必须先提取返回的值：

res <- gainData xc
return $ (temp,xz) : res

varname <- action 执行以下操作：

• 它调用action，在本例中为gainData xc。此操作返回 IO something
• 它从IO 中“提取”something 并将其分配给varname

事实上，它适用于任何Monad，而不仅仅是IO。

此外，在第一个定义中，您将返回 []，但这是 [something] 类型，而 gainData 应该是 IO [something] 类型，因此您必须向其添加 IO 层：

gainData [] = return []

return 是 <- 的“反面”。它需要 something 并将其转换为 IO something，可以使用 <- 提取。