Microsoft as part of the Verona pilot project a new programming language based on the Rust language and focused on developing secure applications that are not subject to typical security problems. Source texts of current developments related to the project are planned in the near future licensed under Apache 2.0.
the ability to use the language being developed, including for processing low-level Windows components in order to block potential problems that arise when using the C and C++ languages. Code safety is enhanced by automatic memory management, which eliminates the need for developers to manipulate pointers and protects against problems arising from low-level memory manipulation, such as after-free access, null pointer dereferences, and buffer overruns.
The main difference between Verona and Rust is the use of the model based on groups of objects, not . Data in Verona is treated as structures that are collections of objects. Borrowing checks and ownership checks are performed in relation to a group of objects, which helps ensure safety when manipulating composite structures and better reflects the level of abstraction typically used in development.
Source: opennet.ru