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.
Geliştirilmekte olan dilin, düşük seviyeli bileşenlerin işlenmesi de dahil olmak üzere, kullanılabilme olasılığı. Windows C ve C++ dillerini kullanırken ortaya çıkabilecek potansiyel sorunları engellemek için. Otomatik bellek yönetimi sayesinde kod güvenliği artırılır; bu, geliştiricilerin işaretçileri manipüle etme ihtiyacını ortadan kaldırır ve bellek serbest bırakıldıktan sonra belleğe erişme, boş işaretçilere erişme ve arabellek taşmaları gibi düşük seviyeli bellek yönetiminden kaynaklanan sorunlara karşı koruma sağlar.
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
