Project Verona
| Project Verona | |
|---|---|
| Paradigm | Safe infrastructure programming |
| Family | Rust-like |
| Designedby | Microsoft Research, Imperial College London |
| Firstappeared | 2019;7years ago(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
[edit ]while_sum(x:List[U32]):U32 { varsum:U32=0; letiter=x.values(); while{iter.has_value()} { // This has to be `a`, same as in the for loop above leta=iter(); // Increments the iterator nextiter; // This is the body of the for loop sum=sum+a } sum }
See also
[edit ]References
[edit ]- ↑ "Project Verona". Microsoft Research.
- 1 2 3 Tung, Liam. "Microsoft opens up Rust-inspired Project Verona programming language on GitHub". ZDNet.
- 1 2 Jones, Luke (January 17, 2020). "Microsoft's Rust-Based Project Verona Reaches Open Source on GitHub". WinBuzzer.
- ↑ Tung, Liam. "Microsoft: Here's why we love programming language Rust and kicked off Project Verona". ZDNet.
- 1 2 Tung, Liam. "Microsoft: We're creating a new Rust-like programming language for secure coding". ZDNet.
- ↑ "GitHub - microsoft/verona: Research programming language for concurrent ownership". GitHub.
External links
[edit ]
This programming-language-related article is a stub. You can help Wikipedia by adding missing information.