Submission + - SPAM: Alternative implementation of Rust in GCC, FOSDEM 2023 Talk
sleeping cat writes: If Rust is available in the GNU toolchain, releases can be built on the Linux kernel (for example) with CFI using LLVM or GCC. Once Rust-GCC can compile and verify all Rust programs, this can also help figure out any inconsistencies in the specification of features in the language. This should help to get features right in both compilers before they are stabilized.
Rust currently lacks a full language specification. The Ferrocene project by Ferrous Systems is the first step in that direction. If Rust-GCC can help with that, we're happy to work together and move the formal specification forward.
Started in 2014, the gccrs project is working toward creating an alternative compiler implementation for the Rust programming language. At the moment, the project targets the 1.49 version of the language and hopes to catch up once that milestone is reached.
In that talk, we will explore some of the components inside gccrs, as well as dive into some of the hurdles encountered during the project's lifetime.
Finally, we will explore ways to cross-pollinate with the Rust community, in order to help and benefit both projects. Specifically, we will dive into some ways we plan to share components with rustc, and how to achieve that: namely, we will look at how we plan on integrating the Polonius project to perform borrow-checking inside gccrs, what our efforts with running the rustc 1.49 testsuite are, and what we need to achieve to start being useful to the Rust- for-Linux project.
Link to Original Source
Rust currently lacks a full language specification. The Ferrocene project by Ferrous Systems is the first step in that direction. If Rust-GCC can help with that, we're happy to work together and move the formal specification forward.
Started in 2014, the gccrs project is working toward creating an alternative compiler implementation for the Rust programming language. At the moment, the project targets the 1.49 version of the language and hopes to catch up once that milestone is reached.
In that talk, we will explore some of the components inside gccrs, as well as dive into some of the hurdles encountered during the project's lifetime.
Finally, we will explore ways to cross-pollinate with the Rust community, in order to help and benefit both projects. Specifically, we will dive into some ways we plan to share components with rustc, and how to achieve that: namely, we will look at how we plan on integrating the Polonius project to perform borrow-checking inside gccrs, what our efforts with running the rustc 1.49 testsuite are, and what we need to achieve to start being useful to the Rust- for-Linux project.
Link to Original Source
