在Haskell中循環Monads

Question

我對Haskell來說真的很新，所以這可能是一個愚蠢的問題。我有一個功能

foo :: Int -> IO() 

其結果會打印出一些有用的信息。現在我想要做到這一點：

do 
    foo 0 
    foo 1 
    foo 0 
    foo 2 
    foo 3 

我該怎麼寫這個循環？我的問題是'連接'Monads，這是由do語句自動完成的...

謝謝你的幫忙！

Answer 1

mapM_ foo [0,1,0,2,3]會做的伎倆。

或許更重要的是「一個人怎麼知道？」 Hoogle是一個奇妙的工具。您想要將簽名爲Int -> IO()的函數應用於一堆Int以獲得新的IO操作。你正在尋找的東西將因此有簽名(Int -> IO()) -> [Int] -> IO()，所以我們去和ask Hoogle for functions with that signature。第二個結果是mapM_，其簽名是

Monad m => (a -> m b) -> [a] -> m() 

權，其實這樣mapM_與任何單子（不只是IO）和任何類型（不只是Int）的作品。當你想到它時，這根本就不奇怪。

Answer 2

你想要mapM_組合子，它映射函數返回一個列表一個單子值，並且使用的是綁定運營商的測序結果：

>> let foo n = putStrLn (show n ++ "!") 
>> mapM_ foo [0,1,0,2,3] 
0! 
1! 
0! 
2! 
3! 

有時，人們喜歡用翻轉版本

for :: Monad m => [a] -> (a -> m b) -> m() 
for = flip mapM_ 

這看起來更像是勢在必行代碼：

>> for [1..5] $ \n -> 
    putStrLn ("Number: " ++ show n) 
Number: 1 
Number: 2 
Number: 3 
Number: 4 
Number: 5 

請注意，稱爲forM_的組合器在Control.Monad中定義，與我稱爲for的組合器完全相同。