logo

Microsoft открыла исходный код языка программирования Project Verona

Автор:

Microsoft открыла исходный код языка программирования Project Verona

Некоторое время назад стало известно, что Microsoft работает над созданием нового языка под кодовым названием Project Verona, который предназначен для безопасного программирования инфраструктуры. Новый язык включает в себя некоторые идеи из популярного языка программирования Rust.

Project Verona разрабатывается исследовательским подразделением Microsoft Research. Исходный код проекта уже доступен на GitHub. Целью проекта является создание более безопасных систем за счёт лучшего управления памятью, фрагментарности и «песочницы».

По словам Мэтью Паркинсона, Project Verona призван помочь защитить код на небезопасных языках, таких как C и C#, которые используются во многих устаревших компонентах Microsoft, на которые компания не хочет тратить время и деньги, но хотела бы лучше защищать.

Project Verona вдохновляется не только языком Rust, но и заимствует концепции из Cyclone, более безопасного варианта C, и Pony, над которым также работают сотрудники Microsoft Research. Однако Project Verona не связана с экспериментами Microsoft по переписыванию низкоуровневых компонентов Windows с языков C и C++ на Rust.

Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


Состоялся релиз стабильной версии Microsoft Edge 86.0
Project Andromeda — секретная история Windows на Surface Duo (перевод)
Анонс Windows 10 Build 17063 — Timeline, Sets и многое другое
Перевод: полная информация о Windows Core OS