A grand vision for Rust
Summary
The post outlines three Rust developments: enhanced effect support, advanced substructural types, and refinement types via pattern and view types. It argues these directions could boost safety, determinism, and performance, with concrete ideas like Move, Forget, and pattern types. The author envisions Rust becoming an even safer, production-grade language, closer to Ada/SPARK in guarantees.