=的两边
这篇文章从 John Backus 关于赋值语句割裂程序世界的经典论述出发，深入探讨了命令式编程与函数式编程的本质区别。作者敏锐地指出，赋值语句右边（表达式）的“有序世界”才是计算的核心，而左边（变量定义）对应的是我们对现实世界的概念化，本质上是无序且缺乏数学结构的。 文章进一步分析，冯·诺依曼架构的顺序执行模型，根植于对时间参数（方向、起点终点）的确定性假设，这恰恰是现实世界的特征。传统的结构化编程试图为这种“混乱”带来秩序，但并未触及“一次一条指令”的根本限制。作者认为，我们过度迁就现实世界的模拟（如面向对象），反而使程序变得臃肿丑陋。 最终，文章将视角拉回到“计算”本身的纯粹性。在内存管理中，对纯粹函数式编程的追求会与数据/代码段划分、引用地址等底层约束产生冲突，导致我们不得不依赖栈和顺序指令，提心胆战地生活在“现实世界”里。作者的核心观点是：计算世界不应受限于现实世界的模拟，函数比对象更纯粹、更直接，而真正的编程自由，或许在于认清计算独立于现实逻辑的本质。