Microsoft como parte del proyecto piloto de Verona un nuevo lenguaje de programación basado en el lenguaje Rust y enfocado a desarrollar aplicaciones seguras que no estén sujetas a los típicos problemas de seguridad. Los textos fuente de los desarrollos actuales relacionados con el proyecto están previstos en un futuro próximo. licenciado bajo Apache 2.0.
la capacidad de utilizar el lenguaje que se está desarrollando, incluso para procesar componentes de Windows de bajo nivel con el fin de bloquear posibles problemas que surgen al utilizar los lenguajes C y C++. La seguridad del código se ve reforzada por la administración automática de la memoria, que elimina la necesidad de que los desarrolladores manipulen los punteros y protege contra problemas que surgen de la manipulación de la memoria de bajo nivel, como el acceso posterior, desreferencias de punteros nulos y desbordamientos del búfer.
La principal diferencia entre Verona y Rust es el uso del modelo. basado en grupos de objetos en lugar de . Los datos en Verona se tratan como estructuras que son colecciones de objetos. Las comprobaciones de préstamo y propiedad se realizan en relación con un grupo de objetos, lo que ayuda a garantizar la seguridad al manipular estructuras compuestas y refleja mejor el nivel de abstracción típicamente utilizado en el desarrollo.
Fuente: opennet.ru