问Haskell，forM -为什么这段代码会返回这样的结果？

EN

关于你那奇怪的[(),()]

对于第二个问题，请记住：print是Show a => a -> IO () (它的副作用是用show打印出值)

现在

forM [5,6] print -- same as yours
= mapM print [5,6]
= sequence $ fmap print [5,6]
= sequence [print 5, print 6]

现在是副作用：sequence在IO单曲中只需要一个接一个地计算

但结果是[(),()] (记住：sqeuence :: [IO a] -> IO [a])

首先得到副作用(5和6打印在换行符上)，然后得到计算[(),()]的结果。

摆脱它：

您可以通过使用forM_ (这将返回() )来消除这个问题：

> import Control.Monad(forM_)
> forM_ [5,6] print
5
6

关于名单-单子

你可以看到为什么第一次从这个：

forM [5,6] (\x -> x:[7])
= mapM (\x -> x:[7]) [5,6]
= sequence (fmap (\...) [5,6])
= sequence [[5,7],[6,7]]
= [[5,6],[5,7],[7,6],[7,7]]

记住？？列表-monad基本上是在做交叉产品。

print 5是IO ()类型的值，该操作执行I/O操作，并最终返回()类型的值(只有一个这样的值：())。

forM list print执行print中的每个值，并返回其返回值的列表。这是一个()列表，这就是为什么您将看到一个最终的[(),...,()].By比较forM_ list print不会返回一个结果列表，而是返回一个()。

注意，GHCi特例IO ()操作，因为GHCi没有打印最终的()结果。例如，IO [()]操作不是这种情况，所以GHCi将在最后打印最终列表。