Re:Checked C
by tene on Friday February 19, 2021 @12:54PM
(#26195789)
Could you offer some insight or examples of where or how C permits or enabled more-precise control than is permitted or enabled by Rust?
[ Parent
| on HN ]
You need unsafe in Rust just to do a doubly-linked list.
Re:Checked C
by a1369209993 on Friday February 19, 2021 @10:13PM
(#26201145)
> You need unsafe in Rust just to [implement] a doubly-linked list.
And? That's what unsafe is for.
Yes, I agree, you can implement a doubly-linked list in Rust exactly as you can in C, with the same precise control.
You can even implement intrusive collections: https://docs.rs/intrusive-collections/
Unsafe is a normal part of the language, and how you manually implement precise control behind a safe reusable abstraction whose correct use can be verified by the compiler.
Do you have any examples of precise control you can express in C, but can't express in Rust?