haskell - 为什么/如何递归 IO 工作？

Question

Haskell IO 通常被解释为整个程序是一个纯函数(main)，它返回一个 IO 值(通常被描述为命令式 IO 程序)，然后由运行时执行。

这个心智模型适用于简单的例子，但我一看到递归 main 就崩溃了。在 Learn You A Haskell .例如:

main = do
  line <- getLine
  putStrLn line
  main 

或者，如果您愿意:

main = getLine >>= putStrLn >> main

由于 main永远不会终止，它实际上永远不会返回 IO 值，但程序会无休止地读取并回显行，所以上面的简单解释并不完全奏效。我错过了一些简单的东西还是有更完整的解释(或者它是“简单”的编译器魔法)？

Answer 1

在这种情况下，main是 IO () 类型的值而不是一个函数。您可以将其视为 IO a 的序列值(value)观:

main = getLine >>= putStrLn >> main

这使它成为一个递归值，与无限列表不同:

foo = 1 : 2 : foo

我们可以返回这样的值，而无需评估整个事物。事实上，这是一个相当普遍的成语。
foo如果您尝试使用整个东西，它将永远循环。但 main 确实如此太:除非你使用一些外部方法来打破它，否则它永远不会停止循环!但是您可以开始从 foo 中获取元素, 或执行 main 的部分，而不评估所有内容。