MonadPlus和forever之间的关系是什么？

Question

我看到这里

-- Note that "forever" isn't necessarily non-terminating.
-- If the action is in a @'MonadPlus'@ and short-circuits after some number of iterations.
-- then @'forever'@ actually returns `mzero`, effectively short-circuiting its caller.

老实说，我不理解这张纸条。它们是否意味着有可能用MonadPlus永远中断，例如IO Bool？比如说，IO False将破坏它。。。

当然，我可以破例或者永远实现自己的，但我的兴趣是关于这个奇怪的音符。

Answer 1

有人可能天真地认为，永远m只会永远持续下去：

forever m = m >> forever m
          = m >> m >> forever m
          = m >> m >> m >> ...  -- forever

但评论中提到，有一些方法可以打破这种循环，而mzero是一个简洁的例子，它以平等的方式而不是从操作上考虑异常来说明情况<代码>mzero满足

forever mzero = mzero >> forever mzero
              = mzero

关键是monad的选择使永远比命令式语言中的单纯while（true）循环更通用。

Answer 2

您可以查看如何实现永久性：

forever :: Applicative f => f a -> f b -> f b
forever a = let a' = a *> a' in a'

（*的留档

因此，如果您查看永远是如何实现的，您会发现它基本上扩展为：

forever a = a *> a *> a *> ...

正如永远的描述所说，如果应用程序有一些短路行为，它仍然可以终止，并且不能评估无限的操作序列：

ghci> forever $ Nothing
Nothing
ghci> forever $ Just 1
-- infinite loop trying to evaluate Just 1 *> Just 1 *> Just 1 *> ...

那是因为（没什么*