4 ms·
The first part - that the Rust borrow checker and overall memory model ensures thread/async safety - is true. I cannot speak to the second part - that other sys
by PeterWhittaker 2y ago
The first part - that the Rust borrow checker and overall memory model ensures thread/async safety - is true. I cannot speak to the second part - that other systems don't have this assurance.
- tialaramex 2y agoJust the borrowck isn't enough, you need the Send and Sync marker traits. Marker traits are something lots of languages could do but they'd be useless (or always unsafe) without a lot of other machinery Rust had already.
- kibwen 2y agoAnd Sync might just be there for performance, I think you could get away with only Send if you didn't mind some additional copying?
- DanielHB 2y ago> that other systems don't have this assurance My understanding is that most (all?) GC languages are memory safe, but do not ensure statically verifiable thread safety at all. Like Java, Go, C#, Python, etc.