3 ms·

It won't be. They plan to use the exact same code! Rust is designed to compile fine without any borrow checking (it reduces it to the C level of safety, but va

by pornel 4y ago

It won't be. They plan to use the exact same code! Rust is designed to compile fine without any borrow checking (it reduces it to the C level of safety, but valid programs generate valid code). GCC will compile itself without a borrow checker. Then it will compile the existing borrow checker written in Rust, and then recompile itself with borrow checking.

ByteJockey 4y ago
> They plan to use the exact same code! Did they announce a change of plans? Their website just says that they have no plans for a borrow checker (i.e. it's not required to actually implement rust). From the website for the project: > There are no immediate plans for a borrow checker as this is not required to compile rust code and is the last pass in the RustC compiler. This can be handled as a separate project when we get to that point. Link here: https://rust-gcc.github.io/ https://rust-gcc.github.io/
- ArrayBoundCheck 4y ago
  - pornel 4y ago
    If my information was inaccurate or out of date, you could have corrected me. I find your antagonizing cheer hurtful, and such a mean comment is unhelpful. Please be kinder.
    - ArrayBoundCheck 4y ago
- pornel 4y ago
  The "separate project" you mention is integration of Polonius: https://lwn.net/Articles/871283/ https://lwn.net/Articles/871283/
  - ByteJockey 4y ago
    I appreciate the link, thank you.