Rust'ta Polonius Alpha Ödünç Denetleyicisi Kararlılığa Hazırlanıyor
Rust'ın Polonius alpha ödünç denetleyicisi kararlılığa hazırlanıyor: NLL sınırlamaları çözülüyor, formal model ve performans testleri sürüyor.
Rust types ekibi, sonraki nesil ödünç denetleyici algoritması Polonius'un "alpha" sürümünü kararlı (stable) hale getirmeyi hedefleyen çalışmayı sürdürüyor. Bu analiz, NLL'lerin çözemediği bilinen 3 numaralı problem durumunu ve lending iterator gibi yaygın örüntüleri destekliyor; önceki Datalog tabanlı uygulamaya göre daha iyi ölçekleniyor.
2025h1 ve 2025h2 hedeflerinin devamı olan bu çalışmada, konum-duyarlı (location-sensitive) Polonius nightly kanalına başarıyla taşındı ve crater çalıştırmalarını sorunsuz geçti; ancak performans hâlâ yeterince hızlı değil. 2026 hedefi kapsamında ekip, kalan bilinen sağlamlık (soundness) sorununu gidermeyi, test kapsamını genişletmeyi, a-mir-formality üzerinde biçimsel bir model oluşturup bunu Rust referans dokümantasyonuna eklemeyi ve nihai bir kararlılık raporu hazırlamayı planlıyor.
Derleyici ve statik analiz araçları geliştiren mühendisler için bu, Rust'ın ödünç alma kurallarının önemli ölçüde gevşeyeceği ve bugün derleyiciyi kandırmak için gereken kod tekrarlarının azalacağı anlamına geliyor.