Rust的类型系统和避免共享可变状态的特性使其具有更好的本地推理和形式验证能力。Rust的所有权模型和没有可变别名有利于局部推理。Rust的成功原因是共享可变状态规则。受限结构化并发（RSC）是Rust的缺失部分，它可以解决函数颜色和异步清理问题。动态受限结构化并发（DRSC）能够实现任何并发模式。如果Rust团队在早期解决了设计错误，Rust可能成为最优秀的超级语言。