Graydon Hoare on Nostr: Re last boost: this is something people often don't get about Rust. Preventing ...
Re last boost: this is something people often don't get about Rust.
Preventing mutable-aliasing bugs is substantially orthogonal to temporal or spatial memory safety. Rust does both! Having GC only addresses one of these. And mutable aliasing bugs are super pervasive and terrible.
(Yes yes FP people: GC + purity addresses both -- and purity also means your GC can be really simple! -- but .. now you have a different problem)
I wrote about this a while back but it was a longer post connected with formal verification implications so was probably TL;DR
https://graydon2.dreamwidth.org/312681.html
Preventing mutable-aliasing bugs is substantially orthogonal to temporal or spatial memory safety. Rust does both! Having GC only addresses one of these. And mutable aliasing bugs are super pervasive and terrible.
(Yes yes FP people: GC + purity addresses both -- and purity also means your GC can be really simple! -- but .. now you have a different problem)
I wrote about this a while back but it was a longer post connected with formal verification implications so was probably TL;DR
https://graydon2.dreamwidth.org/312681.html