Re:DARPA: Translating All C to Rust (Tractor)
by 01HNNWZ0MV43FF on Tuesday July 30, 2024 @12:21PM
(#41110876)
Can't most c++ be machine-lowered to C?
[ Parent
| on HN ]
Re:DARPA: Translating All C to Rust (Tractor)
by woodruffw on Tuesday July 30, 2024 @12:28PM
(#41110974)
Lowering is typically easier than lifting (or brightening). When you lower, you can erase higher-level semantics that aren't relevant; when you lift, you generally want to compose lower-level program behaviors into their idiomatic (and typically safer) equivalent.