Originally posted by kpedersen
View Post
Not only is it impossible to avoid binding to other libraries outside of bare metal programming, but that's outside of Rust's safety guarantees entirely, it's completely unrelated.
Your point is equivalent to saying a car should fail it's safety inspection because it can technically be driven by a drunk person. I don't think you fully grasp how much your point is a complete non-sequitur and outside of the scope of the problem domain. That domain being, writing verifiable code in that language. Rust's safety guarantees apply to Rust, only Rust, not unsafe Rust and not libraries being bound to Rust. That's the point of unsafe Rust, to build a bridge between those two which has to be manually verified for safety, so it can communicate with safe Rust and appear as if it were just another library written in pure Rust. It's not any more of a concern that a third-party library might have a segfault than it is if my computer might spontaneously explode. It's a bad product, not the fault of any language, Rust or C.
Comment