标签
Bjarne Stroustrup的法则指出：对于新特性，程序员更偏好显式语法，但一旦该特性被确立，他们就更倾向于简洁表示法。本文探讨了 Rust 和 Python 中的示例，并讨论了这对语言设计和教学的影响。
2003年艾伦·凯的电子邮件阐明了"面向对象编程"的原始含义——以消息传递、数据隐藏和生物学/细胞隐喻为中心，最初有意省略了继承。
关于类型推断的教程，涵盖Damas-Hindley-Milner类型系统、合一及相关概念，并附有OCaml代码示例。
认为TypeScript由于不健全的类型系统而成为AI时代的一个糟糕默认选项，它无法捕获AI生成的代码中的错误，并将其比作Paul Graham的Blub悖论。
《垃圾回收手册》第二版更新了关于自动内存管理的权威参考，涵盖了新的硬件、软件和算法发展。
本文介绍了Hybrid ClojureScript，一种允许开发者混合视觉与文本语法用于领域特定表达式的编程语言，保持了可组合性和静态推理能力。
在2026年6月于布尔诺举行的C++标准委员会会议上，三篇关于启用生命周期结束指针清零的论文被投票纳入C++29，解决了自1998年标准以来存在的问题，并且在禁止标准草案中出现凭空产生（OOTA）值方面取得了进展。
Peter Norvig 的经典教程，讲解如何在Python中实现Scheme解释器，阐述了语言解释和求值的核心概念。
对Claude Roux的访谈，他是LispE和TAMGU的维护者，讨论他在计算语言学、符号人工智能以及基于规则的自然语言处理系统的局限性方面的职业生涯。
Xavier Leroy宣布了一本关于编程语言中控制结构的新书，涵盖从goto到代数效应的内容，提供CC许可下的免费预览。
作者认为，2010年代静态类型编程的复兴归功于改进的类型系统（例如 TypeScript、Haskell、Rust），这些系统提供了可空类型处理、和类型以及类型推断，与 Java 和 C++98 等早期语言中糟糕的静态类型形成对比。
本文认为，在编程语言和数据格式中禁止尾部分隔符（如逗号）会使代码编辑更容易出错且不一致，并主张语言设计应允许尾部分隔符以提供更好的开发者体验。
本文探讨了为何 TypeScript 已成为构建 AI 智能体及智能体框架的主流语言，并追问为何 Rust 或 C++ 等替代方案没有得到更广泛的应用。
一份详细的目录，列出了从 C++11 到 C++26 期间被正式弃用、非正式不推荐或由于 ABI 约束实际上已损坏但无法修复的 C++ 标准库特性。文章指出，C++ 委员会推出一系列替代品来替换其自身特性的模式始终如一，其中包含一个基准测试，显示 Rust 和 C++ 标准库容器之间的 P99 延迟差异高达 58 倍。
本文介绍了一种基于线性类型和抽象解释的内存安全新方法，旨在比Rust更符合人机工程学原理地消除诸如释放后使用和内存泄漏等常见错误。
本文类比了C/C++中的安全漏洞与Verilog中的安全漏洞，指出硬件描述语言的设计导致了缺陷，并认为行业应投资于更安全的替代方案，类似于软件领域对内存安全编程语言的推动。
这是一篇教育性博客文章，通过类比 try/catch 和 async/await 来解释编程中的代数效应概念，并讨论了它们与 React 及未来编程范式的潜在关联。
一篇2015年的博文，提出一个假设的编程语言，其中函数被标记为红色或蓝色，借此比喻批评JavaScript等语言中同步与异步函数的人为区分。