Microsoft como parte do proxecto piloto de Verona unha nova linguaxe de programación baseada na linguaxe Rust e centrada no desenvolvemento de aplicacións seguras que non estean suxeitas a problemas típicos de seguridade. Os textos fonte dos desenvolvementos actuais relacionados co proxecto están previstos nun futuro próximo licenciado baixo Apache 2.0.
a capacidade de utilizar a linguaxe que se está a desenvolver, incluso para procesar compoñentes de Windows de baixo nivel co fin de bloquear os posibles problemas que xurdan ao usar as linguaxes C e C++. A seguridade do código realízase coa xestión automática da memoria, que elimina a necesidade de que os desenvolvedores manipulen os punteiros e protexe contra os problemas derivados da manipulación de memoria de baixo nivel, como o acceso libre posterior, as anulacións de referencia de punteiros nulos e os excesos de memoria intermedia.
A principal diferenza entre Verona e Rust é o uso do modelo baseado en grupos de obxectos máis que . Os datos en Verona trátanse como estruturas que son coleccións de obxectos. As verificacións de préstamos e de propiedade realízanse en relación a un grupo de obxectos, o que axuda a garantir a seguridade ao manipular estruturas compostas e reflicte mellor o nivel de abstracción que se usa normalmente no desenvolvemento.
Fonte: opennet.ru