Project Verona

Print Print
Reading time 3:9

Project Verona
ParadigmSafe infrastructure programming
Designed byMicrosoft Research,
Imperial College London
First appeared2019; 2 years ago (2019)
OSLinux, Windows, Darwin
LicenseMIT License
Filename extensions.verona (GitHub)
Influenced by
Rust, Cyclone, Pony[1]

Project Verona is an experimental research programming language developed by Microsoft and aimed at dealing with memory situations to make other programming languages safer.[2][1]

The project is being supported by C# project manager Mads Torgensen[3] and Microsoft Research Cambridge research software engineer Juliana Franco.[4] Project Verona is also being aided by academics at Imperial College London.[1] Unlike in Rust where the ownership model based on a single object, it is based on groups of objects in Verona.[4]

According to Microsoft, the goal of the project is to create a safer platform for memory management.[2]

Project Verona is open source released under MIT License and is under active development on GitHub.[5]

See also


  1. ^ a b c Tung, Liam. "Microsoft opens up Rust-inspired Project Verona programming language on GitHub". ZDNet.
  2. ^ a b Jones, Luke (January 17, 2020). "Microsoft's Rust-Based Project Verona Reaches Open Source on GitHub". WinBuzzer.
  3. ^ Tung, Liam. "Microsoft: Here's why we love programming language Rust and kicked off Project Verona". ZDNet.
  4. ^ a b Tung, Liam. "Microsoft: We're creating a new Rust-like programming language for secure coding". ZDNet.
  5. ^ "GitHub - microsoft/verona: Research programming language for concurrent ownership". GitHub.

External links

Edited: 2021-06-18 18:17:10