Rust 1.17 - Hackdot

Re:Rust 1.17 by caconym_ on Thursday April 27, 2017 @04:50PM (#14214574)

Rust doesn't guarantee no crashes. It guarantees protection against certain errors e.g. use-after-free and out-of-bounds indexing, some of which can't be done statically at compile time, so if Rust didn't crash e.g. when you index an array out-of-bounds, it wouldn't be doing its job.

It'll also let you do whatever you like if you write `unsafe` code.

[ Parent | on HN ]

Re:Rust 1.17 by bluejekyll on Thursday April 27, 2017 @11:11PM (#14216629)

It's not actually "whatever" you want. It drops a number of restrictions, but still guarantees some others that C doesn't for instance.

https://doc.rust-lang.org/book/unsafe.html

[ Parent | on HN ]

Re:Rust 1.17 by jfoutz on Thursday April 27, 2017 @08:22PM (#14215970)

And unsafe is tagged. You don't have to look at the entire codebase, just the few unsafe blocks. Those bugs are often subtle. Any way to restrict where to look is super helpful.

[ Parent | on HN ]