Zig dilinde derleme zamanı soyutlaması için trait yaklaşımı önerildi
Öne çıkanlar
- Zig'in dinamik arayüzleri çalışma zamanında performans maliyeti oluştururken comptime duck typing örtük sözleşmelere dayanıyor.
- Derleme anı yapıları olarak tanımlanan trait modeli, derleyicinin kodları satır içine almasına ve tek biçimlendirmesine olanak tanıyor.
- OCaml modüllerinden esinlenen tasarım, dilde harici kütüphane veya dil seviyesinde sözdizimi değişikliği gerektirmiyor.
Zig dilinde statik çokbiçimlilik ve soyutlama kurmak için derleme zamanı tür sözleşmelerini tanımlayan yeni bir yöntem paylaşıldı. Dilde yerel bir özellik olmayan arayüzlerin çalışma zamanında getirdiği performans maliyetlerine ve "comptime duck typing" mekanizmasının getirdiği örtük sözleşme zorluklarına dikkat çekildi. Çözüm olarak Rust veya Haskell benzeri dillerdeki kavramlardan esinlenen, harici bir kütüphane gerektirmeyen derleme zamanı yapıları (struct) önerildi.
Önerilen yaklaşımda bir trait, belirli bir türe yönelik ilgili fonksiyonları barındıran bir derleme zamanı yapısı olarak tanımlanıyor. Bu yapı, dinamik sevkiyat (dynamic dispatch) veya vtable mekanizmalarının getirdiği dolaylı yönlendirmeyi ortadan kaldırıyor. Derleyici bu sayede kodu doğrudan tek biçimlendiriyor (monomorphization) ve satır içi (inline) optimizasyonları eksiksiz uygulayabiliyor. Böylece hem açık tip sözleşmeleri korunuyor hem de sistem programlamanın gerektirdiği başarım güvenceye alınıyor.
Yöntemin OCaml modül sistemine benzediği, dillerdeki küresel tip çözümleme maliyetlerini ve uzun derleme sürelerini Zig'in açık kontrol akışı felsefesine sadık kalarak aştığı kaydedildi. Trait tanımlarını ve türetimlerini basitleştirmek için küçük derleme zamanı yardımcı fonksiyonları da paylaşıldı. Yöntemin en büyük kısıtı olarak tür silme (type erasure) ile doğrudan çalışamaması ve ilgili tiplerin derleme anında önceden bilinmesini zorunlu kılması gösterildi.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.