Model Mental Borrow Checker
Rust menggantikan runtime garbage collector dan alokasi manual dengan invariant kompilasi yang ketat:
- Setiap nilai memiliki satu pemilik (owner).
- Hanya boleh ada satu pemilik pada satu waktu.
- Saat pemilik keluar dari ruang lingkup (scope), nilai langsung dibersihkan (dropped).
Aliasing XOR Mutability
Anda hanya boleh memiliki:
- Berapapun referensi baca-saja (
&T), ATAU - Tepat satu referensi ubah (
&mut T).
Catatan rekayasa pribadi dari pengoperasian sistem produksi. Pola dan tolok ukur diperbarui seiring perkembangan runtime.