Haskell Put IO String

Question

我试图读取并打印映射到文件名列表的“readProcess”命令的输出：

files <- readProcess "ls" [] []
let mdList = map ( \file -> do
    md <- readProcess "mdls" [file] []
    return md ) $ splitOn "\n" files in
    map (\md -> putStrLn md) mdList
putStrLn "Complete"

每次我尝试将putStrLn映射到mdList时，我都会收到此错误：

Couldn't match type ‘IO String’ with ‘[Char]’

我已经阅读了许多StackOverflow答案，似乎只是在IO字符串上使用putStrLn但我无法这样做。 此外，我是Haskell的新手，所以任何其他提示也值得赞赏。

Answer 1

您正在使用

map :: (a -> b) -> [a] -> [b]

哪个专攻

map :: (a -> IO b) -> [a] -> [IO b]

最终结果， [IO b]不是我们需要的。 这是一个IO动作列表，即相当于一个未执行的无参数命令功能列表。 相反，我们需要一个单独的 IO操作，其结果是b的列表： IO [b]而不是[IO b] 。

图书馆也提供了：

mapM :: (a -> IO b) -> [a] -> IO [b]

或者，如果我们不关心收集结果

mapM_ :: (a -> IO b) -> [a] -> IO ()

该库还提供带有翻转参数的变体：

for  :: [a] -> (a -> IO b) -> IO [b]
for_ :: [a] -> (a -> IO b) -> IO ()

因此，原始代码可以修复如下：

import Data.Foldable

files <- readProcess "ls" [] []
for_ files $ \file -> do
    md <- readProcess "mdls" [file] []
    putStrLn md
putStrLn "Complete"