Valen memperkenalkan borrow checker fleksibel baru yang dirancang untuk menyelesaikan tantangan keamanan memori. Ia menggabungkan group borrowing dengan reference counting dan generational references. Berbeda dengan Rust, Valen menggunakan tipe referensi borrow tunggal dan mengingat ke mana referensi menunjuk, memungkinkan akses data yang kompleks. Sistem mendukung interop dengan kode Rust dan bertujuan se-sederhana garbage collection sambil mempertahankan kekuatan borrow-checking. Pendekatan ini mengatasi konflik shared-xor-mutable dengan mengizinkan referensi untuk coexist dengan mutability di bawah kondisi terkontrol.
Group borrowing, yang awalnya diusulkan oleh Nick Smith, dihidupkan kembali setelah ditinggalkan untuk Mojo. Sejak itu, ia telah mempengaruhi bahasa seperti Carbon Google, Ante, Plecra, Zeta, dan Fang. Valen mengintegrasikan konsep ini dengan pendekatan Vale dan kompatibilitas Rust. Compiler melacak asal referensi untuk menegakkan keamanan memori tanpa aturan kepemilikan yang ketat. Fleksibilitas ini bisa mendefinisikan ulang cara bahasa modern menyeimbangkan performa dan keamanan.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing