Sharing in Dada
Summary
An in-depth look at Dada's sharing model, which aims for a GC-like ease without a garbage collector. It explains the 'given' and 'shared' permissions, how sharing propagates through fields, and contrasts this with Rust's Arc, including memory layout considerations.