Dada, Rust'ın ödünç alma denetleyicisini (borrow checker) aşmayı hedefleyen, konum tabanlı (place-based) izin sistemiyle dahili referans yönetiminde yeni bir yaklaşım sunuyor. Önceki yazılarda "birleştirilebilir paylaşım" konusuna değinen Dada, bu yeni sistemle değerleri ve o değerlerden ödünç alınan öğeleri aynı anda yakalayabilen fonksiyonlar ve türler yazmaya olanak tanıyor. Bu, özellikle Rust'ta karşılaşılan bazı zorluklara çözüm getirmeyi amaçlıyor.
Rust'ta, örneğin bir String'i virgülle ayrılmış parçalara bölüp &str referansları olarak tuttuğunuzda, bu referanslar orijinal String'in belleğine işaret eder ve performansı artırır. Ancak, bu String'i ve ondan türetilmiş &str referanslarını içeren bir struct'ı başka bir yere taşımak istediğinizde Rust'ın kuralları buna izin vermez. String taşındığında, &str referansları geçersiz hale gelir ve derleyici hatasıyla karşılaşırsınız. Bu tür durumlarda, Rust geliştiricileri genellikle dizinleri veya sahipli String'leri kullanma gibi farklı çözümlere başvurmak zorunda kalır.
Dada ise bu sorunu referansların ömrünü (lifetimes) değil, verinin ödünç alındığı "konumu" (place) isimlendirerek çözüyor. Örneğin, items değişkeninin türü ref[list] String olarak belirtilebilir; bu, items'ın list'ten ödünç alınmış String'leri içerdiğini açıkça gösterir. Bu yaklaşım, referansların nereden geldiğini daha net bir şekilde ifade ederek, hem öğretimi hem de anlamayı kolaylaştırmayı hedefliyor. Dada'nın izin sistemi, Rust'ın mevcut kısıtlamalarını aşarak daha esnek ve güçlü bir bellek yönetimi sunma potansiyeline sahip.
Dada'nın konum tabanlı izin sistemi, Rust'ın ödünç alma denetleyicisinin kısıtlamalarını aşarak daha esnek ve güçlü dahili referans yönetimi sağlıyor.