News for hackers. Stuff that matters.

A comment on Rust 1.1 Stable, the Community Subteam, and RustCamp. Parent comment

Re:Rust 1.1 Stable, the Community Subteam, and RustCamp by n_ham on Thursday June 25, 2015 @07:09PM (#9781494)
ICEs are not crashes due to memory unsafety, they are logical errors in the compiler code.

For example, here's about the worst rustc crash I've found: https://github.com/rust-lang/rust/issues/21946. It doesn't even give you an ICE, it terminates with a stack overflow.

So no, Rust cannot magically fix logic errors in large, complicated codebases, but that's not something that a complete beginner needs to worry about thankfully.

[ Parent | on HN ]
Re:Rust 1.1 Stable, the Community Subteam, and RustCamp by arielby on Thursday June 25, 2015 @07:17PM (#9781527)
That's just a vanilla "divergence" stack overflow - an essentially harmless consequence of the type-system's Turing-completeness.
[ Parent | on HN ]
Re:Rust 1.1 Stable, the Community Subteam, and RustCamp by kibwen on Thursday June 25, 2015 @07:36PM (#9781607)
You don't even need Turing-completeness, just any form of recursion will do.
[ Parent | on HN ]