Rust为何无法成为超级语言？
内容提要
Rust的类型系统和避免共享可变状态的特性使其具有更好的本地推理和形式验证能力。Rust的所有权模型和没有可变别名有利于局部推理。Rust的成功原因是共享可变状态规则。受限结构化并发（RSC）是Rust的缺失部分，它可以解决函数颜色和异步清理问题。动态受限结构化并发（DRSC）能够实现任何并发模式。如果Rust团队在早期解决了设计错误，Rust可能成为最优秀的超级语言。
延伸解读
局部推理：Rust 类型系统的核心优势
Rust 的所有权模型和禁止可变别名，使得开发者可以在不考虑整个程序状态的情况下验证程序属性。这种局部推理能力不仅简化了代码审查，还让编译器能够进行更有效的形式验证。与依赖分离逻辑的语言相比，Rust 的类型系统天然避免了可变别名带来的复杂性，从而降低了验证难度。
结构化并发：Rust 缺失的关键拼图
文章指出，Rust 缺少受限结构化并发（RSC），这导致函数颜色和异步清理问题。RSC 通过取消线程集作为一等值，强制线程绑定到特定上下文，从而保证析构函数运行，避免 use-after-free 等严重错误。然而，RSC 在实现生产者/消费者等模式时存在困难，因此需要动态受限结构化并发（DRSC）来支持更灵活的并发模式。
Leakpocalypse 的历史教训与设计权衡
2015 年的 Leakpocalypse 事件迫使 Rust 团队在发布前做出妥协：不保证析构函数调用。这一决定虽然保证了安全性，但也使 Rust 无法成为最优语言。文章认为，如果当时团队能推迟发布，彻底解决结构化并发问题，Rust 可能成为最优秀的超级语言。这反映了语言设计中短期妥协与长期愿景之间的权衡。
Rust 的成功与未来方向
Rust 的成功并非源于借用检查器，而是“共享可变状态”规则。这一规则增加了设计复杂性，但也促进了更好的程序设计。文章强调，编译器中的形式验证是值得的，能够帮助开发者编写正确的程序。未来，通过引入 DRSC，Rust 有望解决现有并发模式的限制，进一步接近超级语言的目标。
Q&A
Rust的类型系统有什么优势？
Rust的类型系统和避免共享可变状态的特性有助于实现更好的本地推理和形式验证。
什么是受限结构化并发（RSC）？
受限结构化并发（RSC）是Rust缺失的部分，能够解决函数颜色和异步清理问题。
Rust的成功主要归因于什么？
Rust的成功主要归因于共享可变状态的规则，而非借用检查器。
动态受限结构化并发（DRSC）有什么优势？
动态受限结构化并发（DRSC）能够实现任何并发模式，克服了RSC的限制。
Rust的设计复杂性对程序设计有什么影响？
Rust的设计复杂性增加了，但也促进了更好的程序设计。
Rust在形式验证方面的表现如何？
Rust的编译过程可以视为一种形式化验证，有助于早期发现错误。
