Microsoft розвиває нову мову програмування на основі Rust

Компанія Microsoft у рамках експериментального проекту Verona розвиває нова мова програмування, заснована на мові Rust і орієнтована на розробку захищених додатків, не схильних до типових проблем з безпекою. Вихідні тексти поточних напрацювань, пов'язаних із проектом, найближчим часом планується відкрити під ліцензією Apache 2.0

Розглядається можливість використання мови, у тому числі для переробки низькорівневих компонентів Windows з метою блокування потенційних проблем, що спливають при застосуванні мов C і C++. Безпека коду підвищується за рахунок автоматичного управління пам'яттю, яке позбавить розробників необхідності маніпулювання покажчиками і захистить від проблем, що виникають через низькорівневу роботу з пам'яттю, таких як звернення до області пам'яті після її звільнення, розіменування нульових покажчиків і вихід за межі буфера.

Основною відмінністю Verona від Rust є застосування моделі володіння на основі груп об'єктів, а не одиничних об'єктів. Дані Verona розглядаються як структури, що являють собою колекції об'єктів. Перевірки запозичення та контроль володіння проводяться у прив'язці до групи об'єктів, що дозволяє забезпечити безпеку при маніпуляціях із складовими структурами та краще відображає рівень абстракції, який зазвичай застосовується при розробці.

Джерело: opennet.ru