词法作用域与动态作用域：为什么这个六十年前的设计抉择至今仍在影响你的代码
1975年，麻省理工学院的 Gerald Sussman 和 Guy Steele 正在开发一门新的 Lisp 方言。他们遇到了一个看似简单的问题：当一个函数引用外部变量时，它应该找到哪个值？这个问题困扰了编程语言设计者十五年，而他们的解决方案——采用词法作用域——后来成为现代编程语言的标配。 ...
闭包
闭包捕获：为什么同一个循环变量在不同语言中行为截然不同
1964年，Peter Landin在一篇题为《The Mechanical Evaluation of Expressions》的论文中首次提出了"闭包"（closure）的概念。他将闭包定义为一个包含λ表达式及其相关环境的"信息束"。六十年后，这个概念几乎出现在所有现代编程语言中——JavaScript、Python、Rust、Go、Swift、C++、Java——但每种语言的实现方式却大相径庭。 ...