Project Verona - это язык программирования для экспериментальных исследований, разработанный Microsoft и предназначенный для работы с ситуациями с памятью, чтобы сделать другие языки программирования более безопасными. [2] [1]
Парадигма | Программирование безопасной инфраструктуры |
---|---|
Семья | Ржавчина -как |
Разработано | Microsoft Research , Имперский колледж Лондона |
Впервые появился | 2019 |
Платформа | Кроссплатформенность |
Операционные системы | Linux , Windows , Дарвин |
Лицензия | Лицензия MIT |
Расширения имени файла | .verona |
Веб-сайт | www |
Под влиянием | |
Ржавчина , Циклон , Пони [1] |
Проект поддерживается менеджером проекта C # Мэдсом Торгенсеном [3] и инженером-программистом Microsoft Research Cambridge Джулианой Франко. [4] Проекту «Верона» также помогают ученые Имперского колледжа Лондона . [1] В отличие от Rust, где модель владения основана на одном объекте, в Вероне она основана на группах объектов. [4]
По заявлению Microsoft, цель проекта - создать более безопасную платформу для управления памятью . [2]
Project Verona - это проект с открытым исходным кодом, выпущенный под лицензией MIT, и находится в стадии активной разработки на GitHub . [5]
Смотрите также
Рекомендации
- ^ a b c Тунг, Лиам. «Microsoft открывает на GitHub язык программирования Project Verona, вдохновленный Rust» . ZDNet .
- ^ а б Джонс, Люк (17 января 2020 г.). «Проект Microsoft Verona, основанный на Rust, выходит с открытым исходным кодом на GitHub» . WinBuzzer .
- ^ Тунг, Лиам. «Microsoft: вот почему мы любим язык программирования Rust и запустили Project Verona» . ZDNet .
- ^ а б Тунг, Лиам. «Microsoft: мы создаем новый Rust-подобный язык программирования для безопасного кодирования» . ZDNet .
- ^ «GitHub - microsoft / verona: язык программирования для изучения одновременного владения» . GitHub .
Внешние ссылки
- Проект Верона - Microsoft Research
- Верона на GitHub