Can you link to Rust fans saying Rust gives you correctness for free? I've seen ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		carols10cents on April 15, 2021 \| parent \| context \| favorite \| on: An RFC that adds support for Rust to the Linux ker... 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 on April 16, 2021 [–]

This thread alone has a comment saying Rust allows you to write "correct" programs, when is wrong.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact