haskell - 在 Haskell 中使用什么来代替主循环？

Question

我需要 main 的循环在 haskell 。我试过这个:

main :: IO ()
main =
  do
    putStrLn "do something"
    main

上面的代码是正确的方法吗？这种无限递归会导致溢出吗？

Answer 1

这可以;不会发生堆栈溢出。 Haskell(实际上，任何非严格语言)中的堆栈溢出与其他语言中的不同；它们来自于在没有评估它们的情况下积累大值，但你没有在这里积累任何东西；只是对无限的行动链进行排序。你可以这样想:一旦打印了行， Action 就被丢弃，控制直接传递到main。 ;堆栈上没有保留任何内容，因为没有任何内容需要返回。

这与您可以在不耗尽内存的情况下遍历无限列表的原因相同:随着程序在列表中进一步向下移动，垃圾收集器将回收先前的列表单元，因为它们不再需要。在这种情况下，之前的排序会被回收，因为没有理由保留您已经执行的操作。

也就是说，编写这个特定示例的更好方法是:

import Control.Monad

main :: IO ()
main = forever $ putStrLn "do something"

当然，如果您的循环打算终止，这将不起作用。 forever它本身是通过递归实现的，因此除了可读性之外没有其他好处。