Microsoft w ramach projektu pilotażowego w Weronie nowy język programowania oparty na języku Rust i skupiający się na tworzeniu bezpiecznych aplikacji, które nie podlegają typowym problemom bezpieczeństwa. W najbliższej przyszłości planowane są teksty źródłowe aktualnych wydarzeń związanych z projektem na licencji Apache 2.0.
możliwość wykorzystania powstającego języka, w tym do przetwarzania niskopoziomowych komponentów Windows w celu blokowania potencjalnych problemów pojawiających się przy korzystaniu z języków C i C++. Bezpieczeństwo kodu jest zwiększone dzięki automatycznemu zarządzaniu pamięcią, co eliminuje potrzebę manipulowania wskaźnikami przez programistów i chroni przed problemami wynikającymi z manipulacji pamięcią na niskim poziomie, takimi jak dostęp po zwolnieniu, wyłuskiwanie wskaźników zerowych i przepełnienie bufora.
Główną różnicą między Veroną a Rustem jest zastosowanie modelu w oparciu o grupy obiektów, a nie . Dane w Weronie traktowane są jak struktury będące zbiorami obiektów. Kontrole zapożyczeń i własności są przeprowadzane w odniesieniu do grupy obiektów, co pomaga zapewnić bezpieczeństwo podczas manipulacji strukturami złożonymi i lepiej odzwierciedla poziom abstrakcji zwykle stosowany w programowaniu.
Źródło: opennet.ru