Re:RustBelt: securing the foundations of the Rust programmin...
by sifoo on Sunday February 04, 2018 @07:10PM
(#16305689)
Until we have as much code written in Rust as is currently implemented in C, experience hasn't shown anything. The same claims and promises have been made for C++ in relation to vanilla C for ages, and it's just not true. An experienced C coder (which arguably takes longer to achieve) will perform as good as a C++ coder of equal skill level. All they do is trade complexity and convenience for simplicity and flexibility; it's a matter of preference, not life and death.
[ Parent
| on HN ]
Re:RustBelt: securing the foundations of the Rust programmin...
by Jweb_Guru on Monday February 05, 2018 @02:20AM
(#16307160)
This working group literally just proved that a significant subset of Rust is safer than any comparable subset of C++. This isn't a matter of opinion. What more proof do you actually want than a formal proof? I seriously wonder what people think the whole point of this paper was.