Episode 137: đŹđ§ Sean Parent on Val (vs Rust)!
Algorithms + Data Structures = Programs
00:00
The Non Interference Property of Rust
Rust has all the efficiencies as if I were handing out references but they behave like values. So within the Rust model things like move is implicit. An object that I hand off to a thread is no longer in scope within my current scope. And so DIMY took that and basically put it on a strong theoretical foundation proving its correctness. It satisfies the non interference pattern which means it or non interference property.
Transcript
Play full episode
