News for hackers. Stuff that matters.

A comment on Microsoft: Rust Is the Industry’s ‘Best Chance’ at Safe Systems Programming. Parent comment

Re:Microsoft: Rust Is the Industry’s ‘Best Chance’ at Safe S... by ufmace on Saturday June 13, 2020 @04:36PM (#23512467)
I would think such a thing would be more like "compiling" rust to C. As in the C code would have no means to maintain most of the safety guarantees, rather they would be verified at compile time, and the produced C would be meant to be used unchanged. So as long as nobody ever edits the C manually, it would still presumably be safe.
[ Parent | on HN ]
Re:Microsoft: Rust Is the Industry’s ‘Best Chance’ at Safe S... by phkahler on Saturday June 13, 2020 @06:11PM (#23513254)
That's what I really meant. Write it in Rust but then output C instead of ASM. The parent is right though. A component/driver would need to use the C headers from the Rust side.
[ Parent | on HN ]