A Grand Vision for Rust
2 months ago
- #Programming Languages
- #Rust
- #Type Systems
- 作者概述了Rust未来发展的三个关键方向：改进对效果系统、子结构规则和精化类型的支持。
- Rust中的效果系统（如const fn、async fn、try fn、gen fn）属于类型与效果系统范畴。作者建议增加更多效果保证，例如确保函数不会展开堆栈、必然终止、具有确定性行为或禁止调用宿主API。
- Rust的子结构类型包括仿射类型（最多使用一次）、线性类型（必须恰好使用一次）和有序类型（必须按顺序使用一次）。这些特性可防止悬垂指针、内存泄漏，并确保内存位置稳定。
- 精化类型（如模式类型）允许为现有类型附加额外保证，无需运行时检查即可提升内存安全性。视图类型可能支持在特定条件下对同一类型持有两个可变引用。
- 作者的愿景是将Rust打造为最安全的工业级语言，借鉴Ada/SPARK的设计理念，并强调通过根本性改进为Rust发展带来乐趣与挑战。