Project Verona is an experimental
research programming language developed by
Microsoft and aimed at dealing with memory situations to make other programming languages safer.
The project is being supported by
C# project manager Mads Torgensen and
Microsoft Research
Microsoft Research (MSR) is the research subsidiary of Microsoft. It was created in 1991 by Richard Rashid, Bill Gates and Nathan Myhrvold with the intent to advance state-of-the-art computing and solve difficult world problems through technologi ...
Cambridge research software engineer Juliana Franco.
Project Verona is also being aided by academics at
Imperial College London.
Unlike in
Rust where the ownership model 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.
Example
while_sum(x: List 32 : U32
See also
*
List of programming language researchers
The following is list of researchers of programming language theory, design, implementation, and related areas.
A
* MartÃn Abadi, for the programming language Baby Modula-3 and his book (with Luca Cardelli) ''A Theory of Objects''
* Samso ...
*
Go (programming language)
*
Rust (programming language)
*
Cyclone (programming language)
The Cyclone programming language is intended to be a safe dialect of the C language
C (''pronounced like the letter c'') is a general-purpose computer programming language. It was created in the 1970s by Dennis Ritchie, and remains very ...
References
External links
Project Verona - Microsoft Research*
Microsoft Research
Systems programming languages
2019 software
High-level programming languages
Programming languages created in 2019
Cross-platform software
Software using the MIT license
Free and open-source software
Microsoft free software
Microsoft programming languages
{{prog-lang-stub