Microsoft разработва нов език за програмиране, базиран на Rust

Microsoft като част от пилотния проект Верона разработва нов език за програмиране, базиран на езика Rust и фокусиран върху разработването на сигурни приложения, които не са обект на типични проблеми със сигурността. В близко бъдеще се планират изходни текстове на текущите разработки, свързани с проекта отворен лицензиран под Apache 2.0.

В процес на разглеждане способността да се използва развиващ се език, включително за преработване на компоненти на Windows на ниско ниво, за да се блокират потенциални проблеми, които възникват при използване на езици C и C ++. Безопасността на кода е подобрена чрез автоматично управление на паметта, което спестява на разработчиците да се налага да манипулират указатели и предпазва от проблеми, които възникват поради манипулиране на паметта на ниско ниво, като достъп до област на паметта, след като тя е била освободена, дерефериране на нулеви указатели и препълване на буфера .

Основната разлика между Verona и Rust е използването на модела притежание въз основа на групи от обекти, не единични обекти. Данните във Верона се третират като структури, които са колекции от обекти. Проверките за заемане и контролът на собствеността се извършват по отношение на група от обекти, което позволява сигурност при манипулиране на композитни структури и отразява по-добре нивото на абстракция, обикновено използвано в разработката.

Източник: opennet.ru