Hacker News Reader

> 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.

View on HN

What is it you're referring to when you say 'model' ?

I was thinking of in the sense of model-based systems engineering (https://en.wikipedia.org/wiki/Model-based_systems_engineerin...)

the code is statically verified to be memory safe, so i dont really know what you're trying to get at

Being memory safe (and here we implicitly assume the compiler ecosystem is behaving as intended) does not guarantee the code is generally safe.

I 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.

Reply on news.ycombinator.com