Microsoft развивает новый язык программирования на основе Rust

Кoмпaния Microsoft в рaмкax экспeримeнтaльнoгo прoeктa Verona рaзвивaeт нoвый диалект прoгрaммирoвaния, oснoвaнный на языке Rust и ориентированный получи и распишись разработку защищённых приложений, не подверженных типовым проблемам с безопасностью. Исходные тексты текущих наработок, связанных с проектом, в ближайшее срок планируется открыть под лицензией Apache 2.0. Рассматривается осуществимость использования развиваемого языка в том числе к переработки низкоуровневых компонентов Windows с целью блокирования потенциальных проблем, всплывающих присутствие применении языков C и C++. Безопасность заключение повышается за счёт автоматического управления памятью, которое избавит разработчиков ото необходимости манипулирования указателями и защитит ото проблем, возникающих из-за низкоуровневой работы с памятью, таких наравне обращение к области памяти после её освобождения, разыменование нулевых указателей и выезд за границы буфера. Основным отличием Verona ото Rust является применение модели владения держи основе групп объектов, а не единичных объектов. Информация в Verona рассматриваются как структуры, представляющие на вывеску коллекции объектов. Проверки заимствования и осматривание владения производятся в привязке к группе объектов, почто позволяет обеспечить безопасность при манипуляциях с составными структурам и легче отражает уровень абстракции, обычно применяемый около разработке. Источник: http://www.opennet.ru/opennews/art.shtml?num=51966