2 ms·
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 tha
by amluto 9mo 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.
- aw1621107 9mo ago> 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 https://fil-c.org/how [1]: https://fil-c.org/compiler https://fil-c.org/compiler