Re:Why Discord is switching from Go to Rust (2020)
by pornel on Thursday April 14, 2022 @01:43PM
(#31030437)
Rust is precise with what it guarantees, but don’t take “not an absolute guarantee in every case” as “no guarantee at all”.
Leaking in Rust requires either explicit leaking function call, leaking in C/FFI code, or a type that is 1. recursive 2. refcounted 3. with interior mutability, and 4. a programming error in use of such type. If any of these four conditions aren’t met, it can’t leak.
Leaking in Rust requires either explicit leaking function call, leaking in C/FFI code, or a type that is 1. recursive 2. refcounted 3. with interior mutability, and 4. a programming error in use of such type. If any of these four conditions aren’t met, it can’t leak.