News for hackers. Stuff that matters.

A comment on Maintain It with Zig. Parent comment

Re:Maintain It with Zig by paavohtl on Wednesday September 08, 2021 @02:11PM (#28460961)
In my experience unsafe tends to be used really sparingly by most users, if at all. And besides, unsafe doesn't really turn off static checks - it allows you to do a few extra things that can't be proven to be safe statically, in tightly scoped specially annotated regions. It's mostly about bending the rules temporarily, for 1-5 lines of code at a time.
[ Parent | on HN ]
Re:Maintain It with Zig by dimitrios1 on Wednesday September 08, 2021 @03:48PM (#28462122)
Side note: Nothing is provable in rust because it does not have a formal, verifiable specification. We have a reference implementation that we believe does the things it says it does on one particular architecture. But trust, not proofs, is indeed required. >:) (don't downvote murder me, I love rust)
[ Parent | on HN ]
Re:Maintain It with Zig by steveklabnik on Wednesday September 08, 2021 @03:54PM (#28462214)
A subset of Rust has been formalized and proven, but you're right that we're still working on it.
[ Parent | on HN ]