John Backus 的函数式编程探索史

History of John Backus's functional programming project [draft]

从 1969 年到 1991 年退休，John Backus 一直在探索应用式和函数式语言的演进。面对当时的软件危机，他试图超越 FORTRAN 和 PL/I 的局限，提出了一种基于组合形式而非传统赋值语句的编程范式。本文详细记录了 Red 语言从概念提出到初步实现的过程，包括 Dines Bjørner 和 Paul McJones 等助手的贡献。Backus 大胆指出传统计算机架构中的 von Neumann bottleneck 导致了编程复杂度的不断攀升，并呼吁重新评估计算机科学的研究重点。尽管当时 IBM 内部反应不一，但这一系列工作为后来的函数式编程理论奠定了重要基础。