News for hackers. Stuff that matters.

A comment on Mrustc: a Rust compiler written in C++. Parent comment

Re:Mrustc: a Rust compiler written in C++ by moomin on Friday September 22, 2017 @03:28AM (#15310083)
That's true of literally all compile time validation.
[ Parent | on HN ]
Re:Mrustc: a Rust compiler written in C++ by banachtarski on Saturday September 23, 2017 @05:22AM (#15318933)
No I'm not saying I have an issue with compile time validation. Far from it.

My point is that the borrow checker is explicitly meant to protect against data races and such. There are situations where I write code I can prove does not violate any hazards but Rust's "validation" is overly-zealous.

[ Parent | on HN ]
Re:Mrustc: a Rust compiler written in C++ by steveklabnik on Saturday September 23, 2017 @12:49PM (#15320530)
Which ones do you run into most often?
[ Parent | on HN ]
Re:Mrustc: a Rust compiler written in C++ by weberc2 on Friday September 22, 2017 @10:53AM (#15312696)
But its more true of some than others.
[ Parent | on HN ]