Rust为何无法成为超级语言？

Rust的类型系统和避免共享可变状态的特性有助于本地推理和形式验证。

局部推理可以在不考虑整个程序状态的情况下验证程序属性。

Rust的所有权模型和没有可变别名使得局部推理更有效。

Rust的编译过程可以视为一种形式化验证，有助于早期发现错误。

结构化并发是将线程限制在实际上下文中的方法。

受限结构化并发（RSC）是Rust缺失的部分，能够解决函数颜色和异步清理问题。

RSC确保析构函数的调用是必要的，以避免严重错误。

动态受限结构化并发（DRSC）能够实现任何并发模式，克服了RSC的限制。

Rust的成功在于共享可变状态的规则，而非借用检查器。

Rust的设计复杂性增加了，但也促进了更好的程序设计。

Rust的编译器中的形式验证是值得的，能够帮助开发者编写正确的程序。

RSC在实现某些并发模式时存在困难，导致开发者需要寻找动态解决方案。