Question

我看到它时非常惊讶：

forM [5,6] (\x -> x:[7])
[[5,6],[5,7],[7,6],[7,7]]

我想 [[5,7], [6,7]]。我知道可以使用地图来获取它，但我现在正在学习单子我下一步，尝试：

forM [5,6] (\x -> print x)
5
6
[(),()]

这是什么意思？ [(), ()]至少是奇怪的。你能解释一下这个问题吗？

Answer 1

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

对于第二个记住：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 monad中的IO只会一个接一个地计算

但对于结果，它是[(),()]（请记住：sqeuence :: [IO a] -> IO [a]）

因此，您首先获得副作用（5和6打印在换行符上），然后计算结果[(),()]

您可以使用forM_取而代之（这会让()返回）：

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

关于list-monad

你可以从中看到第一个原因：

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]]

记住 - list-monad基本上是在做那里的交叉产品

Answer 2

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

()执行forM list print print中的每个值，返回返回值列表。这是list的列表，这就是您看到最终()的原因。通过比较[(),...,()]不会返回结果列表，而是返回单个（）。

请注意GHCi特殊情况forM_ list print操作，因为GHCi不会打印最终的IO ()结果。例如，情况并非如此。 ()行动，因此GHCi将在最后打印最终列表。