3 ms·
I'm using Rust now and it seems quite nice but it could use a spec and defined semantics for provenance or whatever. It's difficult to discuss memory safety if
by anonymoushn 3y ago
I'm using Rust now and it seems quite nice but it could use a spec and defined semantics for provenance or whatever. It's difficult to discuss memory safety if what is actually meant is "Whatever Rust does" while the Rust docs repeatedly admit they aren't sure what Rust is meant to do in relevant areas.
- junon 3y agoNot sure what you mean. Memory safety is one thing, provenance is another. Which spec are you missing?
- anonymoushn 3y agoWell, there's no spec for any part of the language, there's a bunch of non-normative documents about how rustc might happen to work. In the non-normative documents that speculate about what guarantees rustc might require of unsafe code in order to avoid undefined behavior and ensure memory safety, provenance certainly does come up.