标签
一场关于 Rust（或未来语言）是否应该为结构体字段添加 `read` 可见性修饰符的 Lobsters 讨论：允许对外提供只读访问而不可写，并询问是否存在隐藏的语言设计陷阱以及合理的默认行为。
Ante 语言设计者介绍了一种新的借用检查方案，通过融合 group borrowing 等思想，在保持无悬垂指针安全的前提下，实现零成本的循环可变性与更宽松的共享可变性检查。
Rust 语言设计师 Niko Matsakis 撰文探讨 LLM 智能体（agentic development）对编程与编程语言设计的影响，认为 Rust 的类型系统和可靠性使它非常适合智能体驱动的开发，并展望如何进一步强化这一优势。
Rust 设计者 Niko Matsakis 在博客中论证，为了支持循环 trait 实现（cyclic trait impls），Rust 的 supertrait 验证必须采用「模块化证明」策略（由 impl 自身保证 supertrait 成立），而「外部化证明」策略与 Rust 现有设计不兼容。
作者探索在 TypeScript 编译器 (tsc) 中加入 Go 的 `defer` 语句，通过 AST 变换将其降级为 try/finally 语义，最终结论是该特性可能并不应该存在。
Rust 语言团队负责人 Tyler Mandry 在 RustConf 2026 上发表了题为 "Beyond the &" 的演讲，详细介绍了历时一年的努力，旨在使用户自定义智能指针像内置引用一样灵活，并简化 Rust 中指针与引用的心智模型。
一篇分析 WG21 提案 P4313R1（C++ 位掩码枚举操作）的博客文章，探讨了在小整数类型和 bool 上执行位运算（例如 ~true）时，整型提升与布尔转换所带来的陷阱。
在2026年Python Language Summit上，David Hewitt介绍了Rust for CPython项目的路线图、成功标准和时间表，提议从Python 3.16开始提供可选的Rust支持，并回应了关于平台支持和核心开发者专业能力方面的疑虑。
Rust 项目宣布推出 Generic Const Arguments（GCA），这是一组新的语言特性，允许在 Const Generics 中使用包含泛型参数的表达式，取代长期处于实验状态的 `generic_const_exprs` 特性。文章介绍了 `gca!` 宏、`gca_adts` 特性、设计权衡，以及 Const Generics 项目组成员的贡献。
Jimmy Miller 主张编程语言应能按代码库进行定制，并反驳了长期以来针对宏和语言修改工具的批评——例如 Raymond Chen 对流程控制宏的猛烈抨击——认为这些论点在现代软件开发中已不再成立。
Cargocut 介绍了 'nel'——一个用于非空列表的轻量级 OCaml 库，并讨论了一项提案：将列表反转编码到类型中，从而显式追踪中间的反转构造不变量。
本文通过Futhark的就地更新作为例子，探讨了编程语言类型系统中别名的复杂性，并警告了这可能引入的设计挑战。
本文描述了如何在 Plush 解释器中将 Rust 枚举替换为 64 位字，通过减少内存使用并提高缓存效率，实现了 17% 的速度提升。
这篇博客文章讨论了在 Dart 3.13 中添加主构造函数，这是一种语法糖特性，旨在基于用户反馈和设计迭代来增强代码的简洁性和可读性。
本文分享了关于现代编译器构建的个人观点，主张使用如OhmJS进行解析和Prolog进行类型检查的工具，重点强调简洁性和迭代开发。
这篇文章描述了编写快速编译器的各种技巧和策略，专注于最小化代码执行、减少内存使用和优化常见路径，以实现每秒超过50万行代码的编译速度。
深入探讨 Python 预声明常量的不一致行为，包括关键字状态、赋值限制和遮蔽（shadowing）怪癖。