类型系统的五十年设计博弈：为什么每个选择都意味着放弃
1960年代，Bertrand Russell为了解决集合论悖论而提出类型理论时，大概没想到这个概念会在六十年后成为程序员日常争论的焦点。今天，每一个新编程语言的诞生都伴随着同样的灵魂拷问：静态类型还是动态类型？结构化还是名义？类型擦除还是单态化？ ...
Rust
错误处理为何分裂五十年：从PL/I的ON语句到Rust的Result类型
1964年，IBM在设计PL/I语言时引入了一个被称为"ON语句"的构造。这个看似简单的语法元素，开创了编程语言中结构化错误处理的先河。六十年后，当Rust的?操作符和Go的显式错误检查成为现代语言的主流选择时，我们不禁要问：为什么错误处理这个问题困扰了语言设计者如此之久？ ...
为什么内存安全成为现代软件工程的圣杯？从手动管理到所有权系统的五十年技术突围
2019年，微软安全响应中心公布了一组令人震惊的数据：从2006年到2018年，微软产品中约70%的安全漏洞源自内存安全问题。这并非孤例——Chrome团队的数据同样显示，其高危安全漏洞中超过三分之根植于内存安全缺陷。Google的研究人员指出，这一比例在C/C++代码库中呈现出惊人的稳定性。 ...
错误处理为何分裂五十年：从PL/I的ON语句到Rust的Result类型
1964年，IBM开始设计PL/I语言，并引入了一个名为ON的语句。程序员可以用ON ENDFILE(SYSIN) GO TO LABEL;来指定当文件结束时跳转到特定标签。这是编程语言史上第一次将"异常情况处理"作为一等语言特性。 ...
闭包捕获：为什么同一个循环变量在不同语言中行为截然不同
1964年，Peter Landin在一篇题为《The Mechanical Evaluation of Expressions》的论文中首次提出了"闭包"（closure）的概念。他将闭包定义为一个包含λ表达式及其相关环境的"信息束"。六十年后，这个概念几乎出现在所有现代编程语言中——JavaScript、Python、Rust、Go、Swift、C++、Java——但每种语言的实现方式却大相径庭。 ...
Go错误处理为何十年无法达成共识：从try提案到彻底放弃的完整技术分析
2025年6月，Go团队在官方博客发表了一篇题为"[On | No] syntactic support for error handling"的文章，宣布了一个意味深长的决定：停止追求错误处理的语法级改进，关闭所有相关的开放提案。这不是一次普通的功能延期，而是Go语言诞生十六年来，在错误处理这个核心议题上的彻底认输。 ...
当Rust进入Linux内核：一门语言的十七年逆袭
2006年的一天，Graydon Hoare回到公寓，发现电梯又坏了。他住在21楼。 爬楼梯的时候，这位Mozilla的程序员越想越气。“我们这些搞计算机的，连个电梯软件都写不好？“他后来回忆道，“这太荒谬了。” ...