Rust derleyicisinde döngüsel trait uyarlamaları için modüler kanıt şart görülüyor
Öne çıkanlar
- Döngüsel trait uyarlamalarında dışsal kanıt stratejisinin Rust mimarisiyle uyuşmadığı belirlendi.
- Dışsal yaklaşım, güvensiz trait sözleşmelerinin çalışma mantığıyla tutarsızlık yaratıyor.
- Modüler kanıt modeli, üst trait şartlarını doğrudan uyarlama seviyesinde doğrulamayı şart koşuyor.
Rust tip sisteminde döngüsel trait uyarlamalarının geçerliliğini denetlemek için modüler kanıt stratejisinin zorunlu olduğu açıklandı. Derleyici tasarımında üst trait (supertrait) koşullarının sağlanmasında dışsal kanıtlar yerine doğrudan uyarlamanın sorumlu tutulduğu modüler yaklaşımın tek geçerli yol olduğu belirtildi. Dışsal kanıt modelinin Rust mimarisinin temel taşlarıyla uyumsuz olduğu ifade edildi.
Daha önce değerlendirilen dışsal kanıt yaklaşımında, üst trait şartlarını doğrulama yükümlülüğü uyarlamayı çağıran kod parçasına bırakılıyordu. Bu modelde geçersiz tür bildirimleri derleniyor ancak kullanım anında reddediliyordu. Araştırmacılar, güvensiz (unsafe) trait yapılarında sorumluluğun her zaman uyarlamada kaldığına dikkat çekerek bu iki farklı mantığın dilde derin bir tutarsızlık doğurduğunu ortaya koydu.
Modüler kanıt yönteminde her uyarlama bildirimi kendi üst trait koşullarını bağımsız şekilde kanıtlamak zorunda kalıyor. Böylece çağıran fonksiyonlar uyarlamayı ek bir denetime gerek kalmadan güvenle tüketebiliyor. Yetkililer, döngüsel mantık hatalarını önleyen yeni bir koindüktif modüler kanıt mimarisinin bir sonraki aşamada ele alınacağını bildirdi.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.