Compile-Time Social Coordination
summary
Claim: the compiler enforces social contracts so certain cross-file bugs cannot compile. Examples: the borrow checker prevents iterating while mutating and stops dangling lock references; the mutex get_mut API expresses safe aliasing without runtime locks; a small connection token type prevents the 50‑connection deadlock by making illegal code fail to compile. The tooling is the Rust type system and compiler, the fix is a dozen lines that compile and incur zero runtime cost, and the mitigation scales across millions of lines.
AI-written summary · about
chapters (4)
related talks
25m"Compiler-Driven Development: Making Rust Work for You"
32mBuilding and Maintaining Rust at Scale
58mRust for The Curious C++ Developers
35mLet’s Talk About Rust
36mRust as a High-Level Langage
09mRustc: How I Learned to Respect the Compiler
39mLevel Up Your Concurrency Skills With Rust
26mFriendly Ferris: Developing Kind Compiler Errors