Проект Верона

Проект Верона

Парадигма	Программирование безопасной инфраструктуры
Семья	Ржавчина ​
Разработано	Исследования Майкрософт , Имперский колледж Лондона
Впервые появился	2019 ( 2019 )
Платформа	Кросс-платформенный
ТЫ	Linux , Windows , Дарвин
Лицензия	МОЯ лицензия
Расширения имен файлов	.верона
Веб-сайт	www .microsoft .с /en-нас /исследовать /проект /проект-Верона ( GitHub )
Под влиянием
Ржавчина , Циклон , Пони

Project Verona — экспериментальный исследовательский язык программирования, разработанный Microsoft .

Проект поддерживается менеджером проекта C# Мадсом Торгенсеном. и Microsoft Research Cambridge Джулиана Франко. инженер-программист Проекту «Верона» также помогают ученые Имперского колледжа Лондона . В отличие от Rust , где модель владения основана на одном объекте, в Verona она основана на группах объектов.

По заявлению Microsoft, цель проекта — создать более безопасную платформу для управления памятью .

Project Verona — это проект с открытым исходным кодом, выпущенный под лицензией MIT License и находящийся в стадии активной разработки на GitHub .

Пример

while_sum(x: List[U32]) : U32
{
  var sum: U32 = 0;
  let iter = x.values();

  while { iter.has_value() }
  {
    // This has to be `a`, same as in the for loop above
    let a = iter();

    // Increments the iterator
    next iter;

    // This is the body of the for loop
    sum = sum + a
  }

  sum
}

См. также

• Список исследователей языков программирования
• Го (язык программирования)
• Руст (язык программирования)
• Циклон (язык программирования)

Внешние ссылки

• Проект Верона — Microsoft Research
• Верона на GitHub