引用透明性是局部推理的前提——全局状态是局部推理的死敌

在有共享可变状态的系统中，理解一个函数的行为需要追踪它可能访问的所有全局状态——这是一个 NP 级的认知负担。而纯函数的引用透明性让"看这个函数的签名和实现就够了"成为可能。这不是代码风格偏好，而是推理成本的根本差异。