Borrow-checker

Published on
2026년 4월 15일
Rust 완전 정복 — 소유권, 빌림 검사기, Lifetime, Async/Tokio, 임베디드, Linux Kernel, Cargo, Unsafe 완벽 가이드 (2025)
rust ownership borrow-checker lifetime async tokio embedded linux-kernel cargo unsafe wasm
Rust가 왜 Linux 커널에 들어가고, 왜 Cloudflare/Discord/Figma가 돈을 들여 재작성하는가. 소유권과 빌림 검사기의 진짜 이유, Lifetime의 직관, Async/Tokio 내부, 임베디드 Rust, Cargo 생태계, Unsafe의 정당한 쓰임까지. '한 번쯤은 넘어야 할 언어' Rust를 처음부터 끝까지.
Published on
2026년 4월 15일
Rust 소유권과 빌림 체커 완벽 가이드 — Move, Borrow, Lifetime, Drop, Send/Sync, Pin, NLL, Polonius (2025)
rust ownership borrow-checker lifetime memory-safety systems compiler type-system
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줄로 정리한 컴파일 타임 메모리 안전 딥다이브.

Rust 완전 정복 — 소유권, 빌림 검사기, Lifetime, Async/Tokio, 임베디드, Linux Kernel, Cargo, Unsafe 완벽 가이드 (2025)