Ante、Rustが拒む循環可変性を安全に許可する新借用検査を実現
Borrow Checking Zero-Cost Cyclic Mutability
Rustに似た所有権ベースの言語Anteが、借用検査の設計を刷新した。参照の寿命ではなく「プレース」と呼ぶ借用元の集合を追跡し、不安定なプレースをマークすることで、ベクタの先頭と末尾を同時に可変参照しても安全なら通す。Rustがエラーにするコードを型システム内で静的に許可しつつ、ダングリング参照は防ぐ。
プレースがあれば、不安定なプレースを単純なマーカー「!」でモデル化できる。a!のような不安定なプレースは、aへのあらゆる変更によって無効化される。