programming-languages

本文解释了C数组类型的令人困惑的行为，包括它们退化为指针、sizeof和函数参数等例外情况，并将其与函数类型进行比较，提出了一种数组和指针严格分离的心理模型。

一篇观点文章指出，LLM在枯燥且一致的语言与生态系统（如Ruby on Rails）中表现更佳，因为训练语料库的方差较低，从而产生更可靠的智能体输出，而碎片化的生态系统（如JavaScript）则导致效果不佳。

.NET 11 预览版在 C# 15 中引入了联合类型，这是一个期待已久的功能，用于处理可以是多种类型之一的数据，并新增了 'union' 关键字和模式匹配。

深入探讨 Rust 类型系统中的存在量词，比较 `dyn Trait` 和 `impl Trait`，并探索超越 `Self` 的存在量化类型变量的高级模式。

C# 的创始人 Anders Hejlsberg 讨论了塑造该语言的设计目标，包括面向对象、托管代码、垃圾回收、反射和标准化。

文章批评了C标准库中用于解析整数的函数（atol、strtol、strtoul、sscanf），解释了为什么大部分函数存在缺陷，只有strtol在仔细进行错误处理的情况下才能正确使用。

一位开发者在使用了五年后反思 PHP 的古怪之处，重点介绍了其数组实现和类型系统的奇特之处。

Paul Graham结合自己创办Viaweb的经验，讨论了在网页应用中使用Lisp的优势，包括语言自由度、增量开发以及快速修复bug。

David Crawshaw认为，尽管行业投资于Rust的无GC特性，但Jane Street的OxCaml（OCaml变体）表明，GC对大多数代码路径是有益的，只有1%的代码需要性能优化。

本文回顾了 PyCon US 2026 类型峰会，详细介绍了关于 Python 类型化进展的关键演讲，包括 PEP 提案、AI 辅助类型检查实验以及类型委员会问答环节。

通过宝可梦属性相克作为示例，介绍 Prolog 编程，展示逻辑编程如何优雅地建模关系数据。

一篇博文讨论了编程语言的锁定效应如何因编码代理的兴起而减弱，以一家公司将原生iPhone和Android应用重写为React Native为例。

Mitchell Hashimoto 评论编程语言日益增强的可替代性，以 Bun 从 Zig 重写为 Rust 为例，表明语言已不再是锁定效应的来源。

对 Anders Hejlsberg（Turbo Pascal、Delphi、C# 和 TypeScript 的创造者）的一次访谈的详细摘要，涵盖了他的职业生涯、设计哲学以及关于软件工艺和人工智能的见解。

本文讨论了Lua作为一种实用的“软基石”语言，探讨了它在软件开发中的作用。

C++26 引入了标准化的库强化机制，用于在运行时捕获常见的未定义行为（如越界访问）。基于 Google 的生产经验，此举仅带来 0.30% 的性能开销，同时将段错误减少了 30%。

文章认为，AI 在 Rust 和 Go 等复杂系统级编程语言方面的熟练程度，改变了 Python 的价值主张，因为 AI 降低了进入高性能开发领域的门槛。

本文介绍了一种基于 Lambda 演算的图灵完备函数式语言的极简 7 行解释器，展示了 eval/apply 设计模式。

本文提出了一种有原则性的方法来重新思考 APL 等数组语言，通过将变量建模为输入维度的函数，旨在相较于传统方法提高可读性和错误检查能力。

本文讨论了决定在 Python 3.14 和 3.15 中回退增量垃圾收集功能。