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

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

Разглежда се възможността за използване на развивания език, включително за преработка на нискоуровневи компоненти на Windows с цел блокиране на потенциални проблеми, възникнали при използването на C и C++. Сигурността на кода се повишава чрез автоматично управление на паметта, което освобождава разработчиците от необходимостта да манипулират указатели и защитава от проблеми, произтичащи от нискоуровневата работа с паметта, като достъп до паметта след освобождаването ѝ, разыменоване на нулеви указатели и извън границите на буфера.

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

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