3 ms·
> you can't just add types to C and it becomes Rust You actually can “just” turn C into Rust with something like c2rust. But you haven't gained any safety with
by TazeTSchnitzel 6y ago
> you can't just add types to C and it becomes Rust
You actually can “just” turn C into Rust with something like c2rust. But you haven't gained any safety without refactoring.
Is that not also the case for Checked C?
- egeozcan 6y agoYou cannot be sure that you kept 100% of the semantics when you use c2rust. You need to focus on semantics plus the types. With checked c, you can just keep your focus on the types.