Project Verona
{{Short description|Experimental programming language}}
{{Infobox programming language
| name = Project Verona
| logo =
| logo_size =
| paradigm = Safe infrastructure programming
| family = Rust-like
| designers = Microsoft Research,
Imperial College London
| released = {{Start date and age|2019}}
| latest release version =
| latest release date =
| typing =
| scope =
| programming language =
| platform = Cross-platform
| operating system = Linux, Windows, Darwin
| license = MIT License
| file ext = .verona{{cite web |title=Project Verona |url=https://www.microsoft.com/en-us/research/project/project-verona/ |website=Microsoft Research}}
| website = {{URL|https://www.microsoft.com/en-us/research/project/project-verona}} ([https://github.com/microsoft/verona GitHub])
| implementations =
| dialects =
| influenced by = Rust, Cyclone, Pony
| influenced =
}}
Project Verona is an experimental research programming language developed by Microsoft.{{Cite web|url=https://winbuzzer.com/2020/01/17/microsofts-rust-based-project-verona-reaches-open-source-on-github-xcxwbn/|title=Microsoft's Rust-Based Project Verona Reaches Open Source on GitHub|first=Luke|last=Jones|date=January 17, 2020|website=WinBuzzer}}{{Cite web|url=https://www.zdnet.com/article/microsoft-opens-up-rust-inspired-project-verona-programming-language-on-github/|title=Microsoft opens up Rust-inspired Project Verona programming language on GitHub|first=Liam|last=Tung|website=ZDNet}}
The project is being supported by C# project manager Mads Torgensen{{Cite web|url=https://www.zdnet.com/article/microsoft-heres-why-we-love-programming-language-rust-and-kicked-off-project-verona/|title=Microsoft: Here's why we love programming language Rust and kicked off Project Verona|first=Liam|last=Tung|website=ZDNet}} and Microsoft Research Cambridge research software engineer Juliana Franco.{{Cite web|url=https://www.zdnet.com/article/microsoft-were-creating-a-new-rust-based-programming-language-for-secure-coding/|title=Microsoft: We're creating a new Rust-like programming language for secure coding|first=Liam|last=Tung|website=ZDNet}} Project Verona is also being aided by academics at Imperial College London. Unlike in Rust where the ownership model is based on a single object, it is based on groups of objects in Verona.
According to Microsoft, the goal of the project is to create a safer platform for memory management.
Project Verona is open source released under MIT License and is under active development on GitHub.{{cite web|url=https://github.com/microsoft/verona|title=GitHub - microsoft/verona: Research programming language for concurrent ownership|website=GitHub}}
Example
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
}
See also
{{Portal|Free and open-source software}}
References
{{Reflist}}
External links
- [https://www.microsoft.com/en-us/research/project/project-verona Project Verona - Microsoft Research]
- {{GitHub|https://github.com/microsoft/verona}}
{{Programming languages}}
{{Microsoft FOSS}}
{{Microsoft development tools}}
{{Microsoft Research}}
Category:Systems programming languages
Category:High-level programming languages
Category:Programming languages created in 2019
Category:Cross-platform software
Category:Software using the MIT license
Category:Free and open-source software
Category:Microsoft free software
Category:Microsoft programming languages
{{prog-lang-stub}}