CobaltC sistem programlama dili için teknik şartname yayımlandı
Öne çıkanlar
- CobaltC, çöp toplayıcı kullanmadan sahiplik ve ödünç alma kurallarıyla bellek güvenliği sağlıyor.
- Düşük seviyeli ve potansiyel olarak güvensiz işlemler yalnızca açık 'unsafe' bloklarında çalıştırılabiliyor.
- Değişkenlerin okunmadan önce başlatılması ve tanımsız davranışların önlenmesi derleyici düzeyinde zorunlu tutuluyor.
CobaltC projesi, C dilinin yerine geçmek üzere tasarlanan yeni sistem programlama dilinin teknik şartnamesini yayımladı. Yeni dil; derleyici tarafından denetlenen sahiplik ve ödünç alma modeli, belirlenimli nesne imhası, açık boşa çıkabilirlik (nullability) ve sınır güvenliği sunuyor. CobaltC, çöp toplayıcıya (garbage collector) ihtiyaç duymadan doğrudan yerel makine kodu seviyesinde güvenli ve öngörülebilir kaynak yönetimi sağlamayı hedefliyor.
Şartnameye göre dil; veri yarışmalarını önleyen güvenli eşzamanlılık, kalıplara dayalı eşleme (pattern matching), genel tipler (generics), arayüzler ve kapsamdan çıkışta çalışan defer mekanizması içeriyor. İşaretsiz ham bellek erişimleri gibi düşük seviyeli ve tehlikeli işlemler ise yalnızca unsafe blokları altında açıkça belirtilerek yürütülebiliyor.
CobaltC, Rust benzeri bir ödünç alma denetleyicisi (borrow checker) ile C dilinin doğrudan donanım kontrolü yaklaşımını bir araya getiriyor. Değişkenlerin okunmadan önce kesin olarak başlatılmasını şart koşan kurallar ve örtük tür dönüşümlerini sınırlandıran tasarım, tanımsız davranışları (undefined behavior) standart yazım aşamasında engelliyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.