Ownership Possession
Le modèle de gestion mémoire de Rust : chaque valeur a exactement un propriétaire ; quand le propriétaire sort de la portée, la mémoire est libérée. Garantit la sûreté mémoire sans GC. Contre-modèle du ramasse-miettes (Java, Go, Python) comme du malloc/free manuel (C).
Trois règles : (1) chaque valeur a un propriétaire, (2) un seul propriétaire à la fois, (3) libération automatique en fin de portée. L'emprunt (borrowing) : des références temporaires qui ne prennent pas la propriété. Sémantique de déplacement (move) : let b = a; transfère la propriété, et a devient inutilisable. Clone contre Copy : la duplication est explicite. Héritée du RAII de C++ (Resource Acquisition Is Initialization), mais vérifiée à la compilation par le borrow checker. Autres langages qui s'en inspirent : Swift a des modificateurs d'ownership, Mojo s'appuie sur l'ownership de Rust, Carbon prévoit la même chose.