Microsoft, Verona pilot projesinin bir parçası olarak Rust dilini temel alan ve tipik güvenlik sorunlarına maruz kalmayan güvenli uygulamalar geliştirmeye odaklanan yeni bir programlama dili. Proje ile ilgili güncel gelişmelerin kaynak metinlerinin yakın gelecekte planlanması planlanmaktadır. Apache 2.0 altında lisanslanmıştır.
C ve C++ dillerini kullanırken ortaya çıkan olası sorunları engellemek amacıyla düşük seviyeli Windows bileşenlerinin işlenmesi de dahil olmak üzere, geliştirilmekte olan dili kullanma yeteneği. Kod güvenliği, geliştiricilerin işaretçileri değiştirme ihtiyacını ortadan kaldıran ve serbest erişim sonrası erişim, boş işaretçi referansları ve arabellek taşmaları gibi düşük düzeyli bellek manipülasyonundan kaynaklanan sorunlara karşı koruma sağlayan otomatik bellek yönetimiyle artırılır.
Verona ve Rust arasındaki temel fark modelin kullanımıdır. ziyade nesne gruplarına dayalı . Verona'daki veriler, nesnelerin koleksiyonlarından oluşan yapılar olarak ele alınır. Ödünç alma kontrolleri ve sahiplik kontrolleri, bir grup nesneyle ilgili olarak gerçekleştirilir; bu, kompozit yapıları manipüle ederken güvenliğin sağlanmasına yardımcı olur ve geliştirmede tipik olarak kullanılan soyutlama düzeyini daha iyi yansıtır.
Kaynak: opennet.ru