A Grand Vision for Rust

I don’t think I’ve ever quite articulated my “grand vision” for Rust, despite having written a fair bit about the language and its features. There is a lot I could say here, but currently there are three directions of development which I find particularly interesting: Improving Rust’s support for effects Improving Rust’s support for substructural rules Adding support for refinement types in Rust…