Project Verona

Last updated
Project Verona
Paradigm Safe infrastructure programming
Family Rust-like
Designed by Microsoft Research,
Imperial College London
First appeared2019;6 years ago (2019)
Platform Cross-platform
OS Linux, Windows, Darwin
License MIT License
Filename extensions .verona [1]
Website www.microsoft.com/en-us/research/project/project-verona (GitHub)
Influenced by
Rust, Cyclone, Pony [2]

Project Verona is an experimental research programming language developed by Microsoft. [3] [2]

Contents

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{varsum: U32=0;letiter=x.values();while{iter.has_value()}{// This has to be `a`, same as in the for loop aboveleta=iter();// Increments the iteratornextiter;// This is the body of the for loopsum=sum+a}sum}

See also

References

  1. ↑ "Project Verona". Microsoft Research.
  2. 1 2 3 Tung, Liam. "Microsoft opens up Rust-inspired Project Verona programming language on GitHub". ZDNet.
  3. 1 2 Jones, Luke (January 17, 2020). "Microsoft's Rust-Based Project Verona Reaches Open Source on GitHub". WinBuzzer.
  4. ↑ Tung, Liam. "Microsoft: Here's why we love programming language Rust and kicked off Project Verona". ZDNet.
  5. 1 2 Tung, Liam. "Microsoft: We're creating a new Rust-like programming language for secure coding". ZDNet.
  6. ↑ "GitHub - microsoft/verona: Research programming language for concurrent ownership". GitHub.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.