zlacker

[return to "“Rust is safe” is not some kind of absolute guarantee of code safety"]
1. Pragma+b8[view] [source] 2022-10-02 15:12:48
>>rvz+(OP)
I’ve been using Rust for a while, and I’m so, so tired of hearing this argument.

Yes, we know. We get it. Rust is not an absolute guarantee of safety and doesn’t protect us from all the bugs. This is obvious and well-known to anyone actually using Rust.

At this point, the argument feels like some sort of ideological debate happening outside the realm of actually getting work done. It feels like any time someone says that Rust defends against certain types of safety errors, someone feels obligated to pop out of the background and remind everyone that it doesn’t protect against every code safety issue.

◧◩
2. TillE+Oa[view] [source] 2022-10-02 15:29:13
>>Pragma+b8
It's really common to see people say meaningless stuff like "Rust is a safe language" which is either deeply confused or deeply misleading.

Rust provides certain guarantees of memory safety, which is great, but it's important to understand exactly what that means and not to oversell it.

◧◩◪
3. pornel+4d[view] [source] 2022-10-02 15:41:51
>>TillE+Oa
It's an unproductive pedantry to expect every mention of the generalisation to be followed by a full disclaimer about exceptions and edge cases.

People say "it's raining" without having to add "except under roofs".

◧◩◪◨
4. mslm+cZ1[view] [source] 2022-10-03 05:17:47
>>pornel+4d
Except everyone understands it's not raining under roofs. When someone says 'Rust is safe', they assume it infallible. It's been oversold.
[go to top]