Valenは、メモリ安全性の課題を解決するために設計された新しい柔軟な借用チェッカーを導入します。これはグループ借用と参照カウント、世代参照を組み合わせたものです。Rustとは異なり、Valenは単一の借用参照型を使用し、参照がどこを指しているかを記憶することで、複雑なデータアクセスを可能にします。このシステムはRustコードとの相互運用をサポートし、ガベージコレクションと同じくらいシンプルであることを目指しながら、借用チェックの強力さを維持します。このアプローチは、制御された条件下で参照が可変性と共存できるようにすることで、共有-XOR-可変の競合に対処します。
グループ借用は、もともとNick Smithによって提案され、Mojoのために放棄された後に復活しました。以来、GoogleのCarbon、Ante、Plecra、Zeta、Fangなどの言語に影響を与えてきました。Valenはこの概念をValeのアプローチとRust互換性と統合します。コンパイラは参照の起源を追跡し、厳格な所有権ルールなしでメモリ安全性を強制します。この柔軟性は、現代の言語がパフォーマンスと安全性をどのようにバランスさせるかを再定義する可能性があります。
出典: Hacker News · 要約：HeadlinesBriefing