Ownership
El modelo de gestión de memoria de Rust: cada valor tiene exactamente un propietario; cuando ese propietario sale de ámbito, la memoria se libera. Garantiza seguridad de memoria sin GC. El modelo opuesto al recolector de basura (Java, Go, Python) y al malloc/free manual (C).
Tres reglas: (1) cada valor tiene un propietario, (2) un único propietario a la vez, (3) se libera automáticamente al final del ámbito. Borrowing: referencias temporales que no toman posesión. Semántica de movimiento: let b = a; mueve la propiedad, y a deja de poder usarse. Clone vs Copy: duplicación explícita. Heredado del RAII de C++ (Resource Acquisition Is Initialization), pero verificado formalmente mediante el borrow checker. Otros lenguajes lo adoptan: Swift tiene modificadores de ownership, Mojo se construye sobre el modelo de Rust, y Carbon planea algo similar.