Ante'nin yeniden tasarlanan borrow checker'ı 'places' kullanarak aliasing ve mutation'a aynı anda izin veriyor

Rust'ın temel kuralına daha esnek bir bakış

Sahiplik (ownership) ve borrowing üzerine kurulu düşük seviyeli fonksiyonel bir dil olan Ante, borrow checker'ını bir kez daha baştan çıkardı. 19 Ekim'de Ante sitesinde yayımlanan ve Hacker News'in ana sayfasına taşınan bir yazıya göre yeni tasarım, Rust programcılarının en iyi bildiği kuralı gevşetiyor: bir referans alias edilebilir veya mutate edilebilir, ama asla ikisi aynı anda olamaz. Rust'ta bir tuple alanının borrow'u eldeyken tuple'ın tamamına yeni bir değer atamak derleme hatasına yol açar; yazıya göre Ante bu tür kodu kabul etmek istiyor ama aynı zamanda dangling pointer oluşturacak her şeyi tamamen derleme zamanında reddetmeye devam ediyor.

Yeniden tasarım, "group borrowing" unsurlarını yazarın kendi mekanizmalarıyla birleştiriyor ve yıllar önceki, yazının artık güncel olmadığını söylediği bir yaklaşımın yerini alıyor.

Paylaşımlı mutability'ye neden izin verilmeli

Yazıya göre buradaki hoşgörü yalnızca kozmetik değil. Borrow checker'ın daha az reddetmesi yeni başlayanlar için öğrenme eğrisini düşürüyor, deneyimli kullanıcılar için iterasyonu hızlandırıyor. Observer pattern ve doğrudan temsil edilen döngüsel (cyclic) veri yapıları dahil olmak üzere daha fazla tasarım deseni ifade edilebilir hale geliyor. Yaygın geçici çözümler — özellikle referansların vektör içine indekslerle değiştirilmesi — artık kullanıcılara dayatılmıyor. Yazar interop'a da vurgu yapıyor: birçok dil paylaşımlı mutability'ye serbestçe izin veriyor ve Ante sahipliği opsiyonel hale getirerek varsayılan kullanımın Rust'a değil C#'a daha yakın hissettirmesini hedefliyor.

Ayırt edici çizgi olarak shape stability

Merkezi soru, bazı paylaşımlı mutation'ların neden güvenli olduğudur. Bir referans üzerinden bir String çiftine yazarken başka bir referansın bu çifte işaret etmesi sorun değil; bir vektör temizlenirken elemanlarından birine referans tutmak ise sorun. Yazının cevabı "shape stability": bir tipin bellek düzeni (layout) mutation altında değişemiyorsa, ona yapılan önceki bir geçerli referans geçerli kalır. Çiftin içindeki her String pointer, uzunluk ve metadata bileşenleri olarak unbox edilmiş şekilde saklanır, dolayısıyla çifte yapılacak hiçbir atama bir referansı ortada bırakamaz. Buna karşılık bir vektörün clear işlemi yeniden tahsis (reallocation) yoluyla veri pointer'ını değiştirebilir, shape'i bozabilir ve bir eleman referansını dangling hale getirebilir.

Hedef, referans tipinin kendisinin kararlı mı yoksa kararsız mı bir şeye işaret ettiğini kaydetmesi; böylece uniqueness gereksinimlerinin yerini daha az geçerli programı reddeden daha keskin bir kısıt alıyor.

Lifetime'ların yerine places

Mekanik olarak yeni tasarım lifetime'ların yerine "places" kavramını geçiriyor. Lifetime, bir borrow'un geçerli olduğu kod bölgesini temsil eden soyut bir simgedir; place ise bir referansın borrow yapabileceği köklerin (root) tam kümesidir — x'e bir referans için 'x, referans iki değişkenden herhangi birine işaret edebiliyorsa '(x, y) gibi bir birleşim ve bir struct alanı için 'z.bar gibi yollar. Yazar, bunun borrow checking'i genel olarak basitleştirdiğine dikkat çekiyor: temel kural, bir değer kullanıldığında işaret ettiği herhangi bir place zaten taşınmışsa (move) hata raporlamak; yazıya göre bu birkaç satır kodla uygulanabilir.

Kararsız place'ler ! işaretini taşır. a! diye yazılan bir place, a'nın herhangi bir mutation'ı ile geçersiz kılınır; checker'ın mutation'dan sağ çıkan kararlı borrow'lar ile yeniden tahsis yapan yapılara yapılan ve sağ çıkamayan kararsız borrow'ları ayırt etmesini sağlayan da budur.

Eski tasarımın yanlış yaptıkları

Ante'nin önceki kuralları, paylaşılan mutable referansların uniq referansların yerine geçebilmesi için "lokal uniqueness" — bir tipin asla başka bir tipin içinde geçmemesi — kanıtlayan Distinct a b trait'ine dayanıyordu. Yazı çeşitli kusurları sıralıyor: String gibi yaygın tipler başka birçok tipin içinde geçtiğinden orantısız biçimde kullanımı güçleşiyor; kontrol private alanlara özyinelemeli iniyorsa, bir kütüphanedeki public struct'a private bir alan eklemek breaking change olabiliyor; referans türleri arasındaki otomatik dönüşümler kafa karıştırıcıydı; ve sistemin ref, mut, imm ve uniq olmak üzere dört referans tipine ihtiyacı vardı. Güvenli döngüsel mutability'yi kodlayabiliyordu ama yalnızca geçiş sırasında referans-sayaçlı (reference-count) klonlamalarla. Yeni tasarım, güvenli döngüsel mutability'yi ve thread safety'yi korurken tüm bu sorunları çözmeyi hedefliyor.

Neden önemli

Rust'ın aliasing'e karşı mutation kuralı, güvenlik hikâyesinin taşıyıcı duvarıdır ve genellikle varsayılan, bunu gevşetmenin statik garantilerden vazgeçmek veya referans sayacı artışı gibi runtime maliyetleri ödemek anlamına geldiğidir. Ante'nin deneyi — places, shape stability ve kararsız place işaretleri — üçüncü bir yol için ciddi bir girişim. Özellikle yazarın eski tasarımda saydığı başarısızlık biçimleri, purely teorik olanlar değil, private alanlardan kaynaklanan breaking change'ler ve kafa karıştırıcı dönüşümler gibi pratik olanlardır. Dil tasarımcıları için bu, borrow checking'in hem su geçirmez hem de esnek olup olamayacağına dair bir veri noktası; diğer herkes için ise Rust sonrası sahiplik sistemlerinin neler mümkün kılacağının bir önizlemesi.