Microsoft cum'è parte di u prughjettu pilotu di Verona una nova lingua di prugrammazione basatu annantu à a lingua Rust è cuncintrata à u sviluppu di l'applicazioni sicure chì ùn sò micca sottumessi à prublemi di sicurezza tipici. I testi surghjenti di l'attuali sviluppi ligati à u prugettu sò previsti in un futuru vicinu licenziatu sottu Apache 2.0.
a capacità d'utilizà a lingua sviluppata, cumpresu per u processu di cumpunenti di Windows di livellu bassu per bluccà i prublemi potenziali chì si sviluppanu quandu si usanu e lingue C è C++. A sicurezza di u codice hè rinfurzata da a gestione automatica di a memoria, chì elimina a necessità per i sviluppatori di manipulà i puntatori è prutegge da i prublemi derivanti da a manipulazione di memoria di livellu bassu, cum'è l'accessu liberu dopu, i dereferences di puntatori nulli è i buffer overruns.
A principal diferenza trà Verona è Rust hè l'usu di u mudellu basatu nantu à i gruppi di l'uggetti piuttostu cà . I dati in Verona sò trattati cum'è strutture chì sò cullezzione di oggetti. I cuntrolli di prestitu è i cuntrolli di pruprietà sò realizati in relazione à un gruppu d'uggetti, chì aiuta à assicurà a sicurità quandu manipulate strutture composite è riflette megliu u livellu di astrazione tipicamente utilizatu in u sviluppu.
Source: opennet.ru