4 ms·
Can you link to Rust fans saying Rust gives you correctness for free? I've seen the opposite-- Rust folks interested in proofs and property tests and fuzzing as
by carols10cents 6y ago
Can you link to Rust fans saying Rust gives you correctness for free? I've seen the opposite-- Rust folks interested in proofs and property tests and fuzzing as well as what Rust gives you for free, which they understand is not "correctness".
- junon 6y agoThis thread alone has a comment saying Rust allows you to write "correct" programs, when is wrong.