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"