3 ms·
I think you missed parent's point. There are constructs that the current compiler can't prove is correct and to write such code you need unsafe. It is often not
by nickez 7y ago
I think you missed parent's point. There are constructs that the current compiler can't prove is correct and to write such code you need unsafe. It is often not about a trade-off between speed/safety.
- Jonhoo 7y agoI actually gave a talk about exactly this a few weeks back that may be relevant: https://youtube.com/watch?v=QAz-maaH0KM https://youtube.com/watch?v=QAz-maaH0KM
- asdf-asdf-asdf 7y agooh, i see what you mean. yes, i did somehow miss the "You can't build everything in safe Rust - certain things _require_ the use of unsafe." part of the argument. i did talk about it in my other comment here: https://news.ycombinator.com/item?id=22701550 https://news.ycombinator.com/item?id=22701550