News for hackers. Stuff that matters.
Re:“Rust is safe” is not some kind of absolute guarantee of ... by UncleMeat on Sunday October 02, 2022 @06:32PM (#33061028)
That's true for "soundness" too. Things aren't just "sound". They are sound with respect to something. So when you use "soundness" as a comparison against "safety", you'll have to understand how somebody could interpret your post in the way that I did.

Almost all discussion about Rust is in comparison to C and C++, by far the dominant languages for developing native applications. C and C++ are famously neither type-safe nor memory-safe and it becomes a pretty easy shorthand in discussions of Rust for "safety" to refer to these properties.

There are no comments on this comment yet.