Microsoft to Develop Verona Programming Language

Microsoft, as part of a pilot project Verona, is developing a new programming language based on the Rust language and focused on developing secure applications that are not prone to typical security problems. The source code of the current developments related to the project, in the near future it is planned to open under the Apache 2.0 license.

The article discusses the possibility of using the developed language, including for processing low-level components of Windows in order to block potential problems that pop up when using the C and C ++ languages. Code security is enhanced by automatic memory management, which saves developers from the need to manipulate pointers and protects against problems arising from low-level work with memory, such as accessing a memory area after it is freed, dereferencing null pointers and leaving the buffer boundaries.

The main difference between Verona and Rust is the use of a ownership model based on groups of objects, rather than single objects. Data in Verona is considered as structures representing collections of objects. Borrowing checks and ownership control are carried out in conjunction with a group of objects, which ensures security during manipulations with composite structures and better reflects the level of abstraction that is usually used in development.