Ownership and borrowing: Programming Language Design course | Zoonk
37. Ownership and borrowing
Enforce unique ownership, moves, borrowing, lifetimes, and aliasing restrictions at compile time. Build a small borrow checker and study the design choices that made ownership types practical in modern systems languages.