4 ms·
the code is statically verified to be memory safe, so i dont really know what you're trying to get at
by leshow 10y ago
the code is statically verified to be memory safe, so i dont really know what you're trying to get at
- etendue 10y agoBeing memory safe (and here we implicitly assume the compiler ecosystem is behaving as intended) does not guarantee the code is generally safe.
- leshow 10y agoI was referring to memory safety. I would not have been able to write memory-safe C or C++ code, the Rust compiler helped me do that. I don't know why you would think I meant 'safety' in some other way, considering Rust advertises that it is a 'safe' language, and they are obviously talking about memory safety. It seems like you just wanted to construct an easy strawman to knock down.