Re:Dashmap: Fast concurrent HashMap for Rust
by nickez on Friday March 27, 2020 @06:56AM
(#22701835)
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.
[ Parent
| on HN ]
Re:Dashmap: Fast concurrent HashMap for Rust
by Jonhoo on Friday March 27, 2020 @08:20AM
(#22702258)
I actually gave a talk about exactly this a few weeks back that may be relevant: https://youtube.com/watch?v=QAz-maaH0KM
Re:Dashmap: Fast concurrent HashMap for Rust
by asdf-asdf-asdf on Friday March 27, 2020 @08:25AM
(#22702289)
oh, 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