Η Microsoft ως μέρος του Pilot Project της Βερόνα μια νέα γλώσσα προγραμματισμού που βασίζεται στη γλώσσα Rust και επικεντρώνεται στην ανάπτυξη ασφαλών εφαρμογών που δεν υπόκεινται σε τυπικά προβλήματα ασφαλείας. Κείμενα πηγής των τρεχουσών εξελίξεων που σχετίζονται με το έργο προγραμματίζονται στο εγγύς μέλλον άδεια σύμφωνα με το Apache 2.0.
τη δυνατότητα χρήσης μιας εξελισσόμενης γλώσσας, συμπεριλαμβανομένης της επανεπεξεργασίας στοιχείων χαμηλού επιπέδου των Windows, προκειμένου να αποκλείονται πιθανά προβλήματα που εμφανίζονται κατά τη χρήση γλωσσών C και C ++. Η ασφάλεια κώδικα ενισχύεται από την αυτόματη διαχείριση μνήμης, η οποία εξοικονομεί τους προγραμματιστές από το να χειρίζονται δείκτες και προστατεύει από προβλήματα που προκύπτουν λόγω χειρισμού της μνήμης χαμηλού επιπέδου, όπως η πρόσβαση σε μια περιοχή μνήμης μετά την απελευθέρωσή της, η αποαναφορά μηδενικών δεικτών και οι υπερβάσεις buffer .
Η κύρια διαφορά μεταξύ Verona και Rust είναι η χρήση του μοντέλου βασίζεται σε ομάδες αντικειμένων, όχι . Τα δεδομένα στη Βερόνα αντιμετωπίζονται ως δομές, οι οποίες είναι συλλογές αντικειμένων. Οι έλεγχοι δανεισμού και ο έλεγχος ιδιοκτησίας εκτελούνται σε σχέση με μια ομάδα αντικειμένων, γεγονός που επιτρέπει την ασφάλεια κατά τον χειρισμό σύνθετων δομών και αντικατοπτρίζει καλύτερα το επίπεδο αφαίρεσης που χρησιμοποιείται συνήθως στην ανάπτυξη.
Πηγή: opennet.ru