Sistem programlama için modal tip sistemi geliştiren Syl duyuruldu
Öne çıkanlar
- Syl, derleme zamanı hesaplamalarını statiklik ve silinme eksenlerindeki modal tiplerle denetliyor.
- Derleme anında bağımlı tipler kullanılırken çalışma zamanında basit tipli program çıktısı üretiliyor.
- Özyineleme sınırları için derleyiciye tükenme eşiği denetimi eklendi.
Sistem programlama dillerinde derleme zamanı hesaplamaları ve tür denetimini birleştirmeyi amaçlayan yeni programlama dili Syl açıklandı. Geliştirici, C++ şablonları, Rust sabit jenerikleri ve Zig comptime gibi mevcut çözümlerin tür sistemi kısıtlarını aşmak için Syl üzerinde çalıştığını bildirdi. Dil, derleme zamanı hesaplamalarını iki düzeyli tip teorisi ve OxCaml tasarımından esinlenen bir modal tip sistemiyle kodluyor.
Syl modelinde her değer hem bir türe hem de iki eksenden oluşan kiplere sahip bulunuyor. Bu eksenler statik veya dinamik oluşu belirten statiklik ile çalışma zamanında silinip silinmeyeceğini denetleyen silinme durumunu kapsıyor. Statik argüman alan fonksiyonlar derleme anında tekbiçimlendiriliyor ve silinmiş değerler çalışma zamanı ikili dosyasından tamamen temizleniyor. Dil, ayrı bir tür sözdizimi kullanmak yerine türleri derleme anında değerlendirilen normal ifadeler olarak işliyor.
Teorem kanıtlama dillerinden farklı olarak Syl, derleme anı hesaplamalarında genel özyinelemeye ve döngülere izin veriyor. Bu tercih tip denetimini tamamen kararlaştırılabilir kılmasa da geliştirici, derleyicinin pratik kullanımı için adım sınırları mekanizması uyguladı. GitHub üzerinden derleyicisi paylaşılan dilin gelecekte ömür yönetimi, doğrusal tipler ve LLVM arka ucu desteği kazanması hedefleniyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.