Yüksek seviyeli sistem programlama dili Val

• Val, yüksek seviyeli sistem programlamaya odaklanan bir programlama dilidir.
• Hızlı, güvenli ve basit olacak şekilde tasarlanmıştır.
• Val, değişken değer semantiği ve jenerik programlamadan yararlanır.
• Gereksiz bellek tahsislerinden kaçınmak için önceden makine koduna derlenir.
• Val'in değişken değer semantiğine dayalı temeli, bellek güvenliğini ve tür güvenliğini garanti eder.
• Programcılar, gerektiğinde performans için güvenli olmayan yapıları kullanabilir.
• Val, Swift'ten büyük ölçüde esinlenir ve değer semantiğini vurgular.
• Val aktif olarak geliştirilmektedir ve kodu GitHub'da açık kaynak olarak sunulmaktadır.
• Verimli ve genel amaçlı kod için değişken değer semantiğine odaklanması sayesinde Val, kendine özgü bir konuma sahiptir.
• Bilgisayar mimarisinin fiziksel kısıtlarını, değer merkezli programlamanın avantajlarıyla birleştirir.
• Val, dil turu ile sözdizimi ve semantik hakkında ayrıntılı bilgiler sunar.
• Henüz kullanıma hazır değildir, ancak topluluk forumu üzerinden tartışılabilir.
• Val'in kod örnekleri, değişken değer semantiğinin kullanımını ve gereksiz tahsislerin yokluğunu gösterir.
• Val'in alt indisleri, geçici olarak değerleri okuma veya yazma yetkisi verir.
• Val'in türleri, referans türleri değil değer türleridir.
• Val, bir fonksiyon dönene kadar parametrelerin değerlerine erişilmemesini garanti eder.
• Val, Rust'taki gibi yaşam süresi notasyonları kullanmaz.
• Val, referanssız daha basit bir model sunar.

[GN⁺]

Hacker News görüşleri

• Val: C++'ın halefi olmayı hedefleyen yüksek seviyeli bir sistem programlama dili
• Statik olarak derlenir, statik olarak tiplendirilir ve C++ ile birlikte çalışabilir
• Val, pointer ve referansları kaldırır; bunun yerine dahili olarak pass-by-const-reference ve return-value-optimization kullanır
• Henüz alfa sürümü yayınlanmamış olsa da ve GitHub'daki yıldız ile katkıda bulunan sayısı sınırlı olsa da bazı kişiler Val'i destekliyor
• Val'in Windows işletim sistemini destekleme yeteneğine dair endişeler var
• Rust, Zig ve Val gibi birden fazla zero-cost abstraction dilinin varlığı, bazı sistem programcılarının sevdiği ve çözülmesini umduğu bir şey
• Val hâlâ geliştirme aşamasında ve tamamen kullanılabilir bir dil olarak görülmüyor
• Dave Abrahams ile bağlantısı nedeniyle Val dikkat çekiyor (Dave Abrahams, programlama topluluğunda iyi bilinen bir isim)
• Val'in implementasyonuna dair sorular ve tartışmalar var; buna string işleme ve kendi kendine referans veren veri yapılarının uygulanabilirliği de dahil
• Val, Rust, Zig ve Vale ile hedef örtüşmesine sahip görünüyor, ancak Vala ile değil
• Val'de Rust'taki unsafe benzeri bir kaçış mekanizması olabilir; ancak Val'in güvenli alt kümesinin gerçek uygulamalar için yeterli olup olmadığı sorusu hâlâ tartışılıyor
• Val'e benzer diğer diller arasında V, Vala ve Vale bulunuyor