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_实际上适用于任何 monad（不只是IO）和任何类型（不只是Int }）。当你想到它时，这一点都不奇怪。

Answer 2

你想要mapM_组合子，它映射一个函数，在一个列表上返回一个monadic值，并使用bind运算符对结果进行排序：

>> 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的组合子完全相同。

在哈斯克尔的Monads上循环

2 个答案: