Project Verona
From HandWiki
Short description: Experimental programming language
| Paradigm | Safe infrastructure programming |
|---|---|
| Family | Rust-like |
| Designed by | Microsoft Research, Imperial College London |
| First appeared | 2019 |
| Platform | Cross-platform |
| OS | Linux, Windows, Darwin |
| License | MIT License |
| Filename extensions | .verona[1] |
| Website | www |
| Influenced by | |
| Rust, Cyclone, Pony[2] | |
Project Verona is an experimental research programming language developed by Microsoft.[3][2]
The project is being supported by C# project manager Mads Torgensen[4] and Microsoft Research Cambridge research software engineer Juliana Franco.[5] Project Verona is also being aided by academics at Imperial College London.[2] Unlike in Rust where the ownership model is based on a single object, it is based on groups of objects in Verona.[5]
According to Microsoft, the goal of the project is to create a safer platform for memory management.[3]
Project Verona is open source released under MIT License and is under active development on GitHub.[6]
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
- List of programming language researchers
- Go (programming language)
- Rust (programming language)
- Cyclone (programming language)
References
- ↑ "Project Verona". https://www.microsoft.com/en-us/research/project/project-verona/.
- ↑ 2.0 2.1 2.2 Tung, Liam. "Microsoft opens up Rust-inspired Project Verona programming language on GitHub". https://www.zdnet.com/article/microsoft-opens-up-rust-inspired-project-verona-programming-language-on-github/.
- ↑ 3.0 3.1 Jones, Luke (January 17, 2020). "Microsoft's Rust-Based Project Verona Reaches Open Source on GitHub". https://winbuzzer.com/2020/01/17/microsofts-rust-based-project-verona-reaches-open-source-on-github-xcxwbn/.
- ↑ Tung, Liam. "Microsoft: Here's why we love programming language Rust and kicked off Project Verona". https://www.zdnet.com/article/microsoft-heres-why-we-love-programming-language-rust-and-kicked-off-project-verona/.
- ↑ 5.0 5.1 Tung, Liam. "Microsoft: We're creating a new Rust-like programming language for secure coding". https://www.zdnet.com/article/microsoft-were-creating-a-new-rust-based-programming-language-for-secure-coding/.
- ↑ "GitHub - microsoft/verona: Research programming language for concurrent ownership". https://github.com/microsoft/verona.
External links
Lists
 |  |
