Rust为何无法成为超级语言？
原文中文，约3800字，阅读约需9分钟。发表于：。与其他命令式语言相比，Rust 类型系统和避免共享可变状态两个特性可以实现更好的本地推理和形式验证。局部推理 局部推理重要性：它能在不考虑整个程序状态的情况下验证程序属性。 Rust 的所有权模型和没有可变别名比其他语言更有利于局部推理。 对形式验证进行扩展 虽然完整的形式验证很难，但Rust 已经证明了基于编译器的验证是值得的。 如果可以以较少的成本添加更多内容，就应该这样做。 Rust...
Rust的类型系统和避免共享可变状态的特性使其具有更好的本地推理和形式验证能力。Rust的所有权模型和没有可变别名有利于局部推理。Rust的成功原因是共享可变状态规则。受限结构化并发（RSC）是Rust的缺失部分，它可以解决函数颜色和异步清理问题。动态受限结构化并发（DRSC）能够实现任何并发模式。如果Rust团队在早期解决了设计错误，Rust可能成为最优秀的超级语言。
