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[edit]
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[edit]
- List of programming language researchers
- Go (programming language)
- Rust (programming language)
- Cyclone (programming language)
References[edit]
- ^ "Project Verona". Microsoft Research.
- ^ a b c Tung, Liam. "Microsoft opens up Rust-inspired Project Verona programming language on GitHub". ZDNet.
- ^ a b 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.
- ^ a b 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.
Well, that’s interesting to know that Psilotum nudum are known as whisk ferns. Psilotum nudum is the commoner species of the two. While the P. flaccidum is a rare species and is found in the tropical islands. Both the species are usually epiphytic in habit and grow upon tree ferns. These species may also be terrestrial and grow in humus or in the crevices of the rocks.
View the detailed Guide of Psilotum nudum: Detailed Study Of Psilotum Nudum (Whisk Fern), Classification, Anatomy, Reproduction