函数式语言中为何用IO表示可变操作？封装后为何成纯操作？

• IO是操作的"描述"，而非直接执行操作
  拿Haskell的newIORef 0举例，它的类型是IO IORef——这个函数不会立刻在内存里创建可变引用，而是返回一个描述了"创建初始值为0的可变引用"这个动作的值。每次调用newIORef 0，得到的都是完全相同的描述，完全符合纯函数"相同输入必返回相同输出"的定义。只有当程序运行时，底层系统才会执行这个IO描述，触发实际的可变资源创建。

• 副作用被严格隔离在IO上下文里
  比如修改可变引用的writeIORef ref 5，类型是IO ()。这个函数本身是纯的：只要传入的ref和值5不变，每次返回的IO ()描述都是一模一样的，不会直接修改任何外部状态。真正的修改副作用，只有在执行这个IO动作的时候才会发生。相当于把副作用"打包"进了一个纯的描述对象里，不会污染纯函数的逻辑空间。

• IO类型让副作用完全显式可追踪
  函数式语言的类型系统通过IO标记，把所有带副作用的操作都明明白白写在类型签名里。看到函数返回IO a，你立刻就知道它涉及副作用（不管是可变操作还是IO交互）；如果返回普通类型，那它肯定是纯函数。这种显式标记让副作用的传播路径完全可控，不会出现隐式的状态修改。

• 从模型层面看，IO是纯的计算容器
  可以把IO a理解成一种特殊容器：它装的不是具体值，而是一个"能产生a类型值、可能伴随副作用的计算过程"。这个容器本身是不可变的——你可以用>>=之类的操作组合多个IO容器，得到一个新的IO容器，这个组合过程是纯的，相同输入永远得到相同的新容器。只有当你"执行"这个容器（也就是让运行时处理IO动作）时，才会触发里面的计算和副作用。

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