haskell - 这是 Haskell IO 的合理观点吗？

Question

这是 Haskell IO 的合理观点吗？

当给定一个程序时，Haskell 运行时会执行以下操作:

1. 调用main以获取“IO计算”
2. 然后它执行或“运行”该计算，从而执行计算包含的所有副作用。

这种两阶段方法允许 main 仍然是一个纯函数。

在这种情况下，IO 计算就像具有显式排序的 Haskell 的特殊版本 - 或者也许有更好的方法来描述这一点？

Answer 1

是的，这是程序执行方式的一个不错的语义模型。当然，实现并不是这样工作的，但您仍然可以使用该模型来推理程序。

但更一般地说，IO 的作用是允许您将命令式程序视为纯值。然后，Monad 操作允许您从较小的命令式程序(或在此上下文中使用常用术语，操作)和纯函数组成命令式程序。因此，纯函数模型虽然无法执行命令式程序，但仍然可以将它们描述为 IO a 类型的表达式，并且编译器可以将这些描述转换为命令式代码。

或者你可以这样说:

• 编译器(而不是运行时)评估main。
• 评估的结果是一个命令性的计划。
• 该程序将保存到目标可执行文件。
• 然后执行目标程序。

即，模型的“评估main”部分被推送到编译器，并且并不像您第一次描述的那样位于运行时中。