Lifetime

Rust 소유권 시스템의 모든 것 — 1999년 Cyclone에서 출발한 affine type 이론, 소유권 이전과 move semantics, 공유/가변 borrow의 XOR 규칙, lifetime annotation과 elision, Non-Lexical Lifetimes(NLL)과 Polonius 차세대 체커, RAII와 Drop trait, Box/Rc/Arc/RefCell 같은 smart pointer, Send/Sync로 표현하는 thread safety, Pin과 self-referential 자료구조, unsafe의 역할까지 1,300줄로 정리한 컴파일 타임 메모리 안전 딥다이브.