在Haskell中使用IO操作進行映射

Question

我有一個函數，需要兩個文件名，並將這兩個文件的內容讀入String ，然后返回是否匹配。 功能如下：

f :: String -> String -> IO Bool
f fileName1 fileName2 = do
        str1 <- readFile fileName1
        str2 <- readFile fileName2
        return (str1 == str2)

如果我從main內部這樣使用它：

main = do
        res <- f "A.txt" "B.txt"
        print res

它可以工作並打印True或False 。 我要做的是將此函數f應用於文件名列表（元組）。 對於類似：

[("a.txt", "b.txt"), ("c.txt", "d.txt")]

（假設a.txt和b.txt具有相同的內容，而c.txt和d.txt不同）。

我想將其（文件名列表）轉換為Bool列表，例如： [True, False] 。 我嘗試使用mapM ，但是似乎沒有映射任何內容（當我使用mapM后打印列表時，它會打印相同的元組列表）。

所以我的問題是：我在做錯什么，如何獲得上述Bool的列表？

請對我輕松一點，因為我對Haskell和函數式編程還很陌生：)

Answer 1

這是函數f' ，它可以完成您描述的操作。

f' :: [(String,String)] -> IO [Bool]
f' = mapM $ uncurry f

讓我知道不清楚的地方！ 而且，為了清楚起見，這是如何運行它：

main = do
        res <- f' [("a.txt", "b.txt"), ("c.txt", "d.txt")]
        print res

編輯

該函數采用無點形式，因此等效於f' lst = mapM (uncurry f) lst 。 mapM本質上使用f作為函數映射lst每個元素，並將IO推送到列表的外部。

uncurry只是采用uncurry a -> b -> c形式的函數，並將其轉換為一個(a,b) -> c ，這是我們想要的，因為您有一個元組列表。