News for hackers. Stuff that matters.

A comment on What Color Is Your Monad. Parent comment

Re:What Color Is Your Monad by steveklabnik on Wednesday February 16, 2022 @11:30AM (#30362057)
I’m not even sure that captures it. You must not void the safety contract in unsafe Rust. The distinction is that with unsafe, you must manually uphold the safety contract.
[ Parent | on HN ]
Re:What Color Is Your Monad by dgellow on Wednesday February 16, 2022 @02:22PM (#30364493)
Ah yes, you’re right that I missed that part. The contract isn’t voided by using unsafe, what changes is that responsibility of enforcing the contract is moved to the developer instead of the compiler.
[ Parent | on HN ]