Haskell中传递IO ()给main为何被视为纯函数？

• 先明确Haskell里纯函数的核心定义：输入固定时输出唯一，且不会触发任何对外界的影响（副作用）。
• print函数本身是纯的：它的作用不是直接打印内容，而是接收一个值，返回一个IO ()类型的对象——这个对象本质是一段"要执行屏幕打印动作"的描述。给定同一个输入，print每次都会生成完全相同的描述，过程中没有任何副作用。
• main的角色是"动作描述的入口"：main是一个顶级的IO类型值，它描述了程序要执行的所有IO动作序列。Haskell语言层面的代码，只是在纯地构建这个描述——从代码到main对应的IO描述，这个过程是完全纯的，输入（代码）确定，输出（动作描述）就确定，不会产生任何实际的副作用。
• 副作用的触发点不在Haskell纯代码里：真正执行打印这类副作用的，是Haskell的运行时系统（RTS）——它是程序外部的组件，负责读取main描述的动作序列，然后逐一执行。相当于你写了一份做菜的菜谱（main对应的IO描述），写菜谱的过程是纯的，而实际炒菜产生的油烟（副作用），是别人（RTS）按照菜谱操作时才发生的。

所以从Haskell纯函数的角度看，用户编写的所有代码（包括构建main的过程）都是纯的，副作用是外部执行器触发的，这就把纯函数逻辑和副作用操作隔离开了。

内容的提问来源于stack exchange，提问作者user129393192