Comment by amluto
1 month ago
It could be interesting to try to apply Fil-C techniques to Rust. After all, while safe Rust is fully memory safe and has many other forms of bug-resistance that Fil-C lacks, Fil-C is far safer than unsafe Rust. Maybe one could achieve both.
And there are probably a lot of optimizations available by skipping safety checks in safe Rust where the compiler could prove that the check was already done.
> It could be interesting to try to apply Fil-C techniques to Rust.
The bulk of the work Fil-C does is implemented as an LLVM pass [0, 1], so at least in principle it should be possible to get Rust code to compile using Fil-C as a "backend".
[0]: https://fil-c.org/how
[1]: https://fil-c.org/compiler