4 ms·
> The rust compiler basically taught me how to write safe systems code, that's an amazing thing. It did no such thing: as one example, if there's an error in y
by etendue 10y ago
> The rust compiler basically taught me how to write safe systems code, that's an amazing thing.
It did no such thing: as one example, if there's an error in your model, would the compiler catch it? Maybe, maybe not.
Safe systems code requires a proper software development lifecycle (SDLC). Rust could be a part of that SDLC, but alone is insufficient to produce a safe system. Advertising it as such is common, but I think very misleading.
- staticassertion 10y agoWhat is it you're referring to when you say 'model' ?
- deleted 10y ago[deleted]
- etendue 10y agoI was thinking of in the sense of model-based systems engineering (https://en.wikipedia.org/wiki/Model-based_systems_engineering https://en.wikipedia.org/wiki/Model-based_systems_engineerin...)
- leshow 10y agothe 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.
- deleted 10y ago[deleted]