New blog post: a grand vision for Rust
https://blog.yoshuawuyts.com/a-grand-vision-for-rust/
A short post in which I try to articulate why I work on the things that I do in Rust. Spoiler: because I think it’s fun. But also because I want to make Rust an even safer language.
@yosh For the function guarantees, are you pondering making those opt-in (e.g. using keywords). Or perhaps it would make sense for them to at some point be the default for any function (e.g. using a new edition), and then opt-out of them?
Maybe I am thinking too far ahead, and extending clippy with some rules would be enough. Or perhaps the compiler could even detect 'colors'?
@jonkoops I think we should do 3 things:
1. define the system entirely in terms of opt-in rules (empty set as the default)
2. have a way to make opting-in to sets of effects on a module/crate-level easy
3. carve a path to get from where we are now to where we want to be with relatively little syntactic overhead
Paul Young
yosh
Jon Koops 🇪🇺