Microsoft là một phần của dự án thí điểm Verona một ngôn ngữ lập trình mới dựa trên ngôn ngữ Rust và tập trung vào phát triển các ứng dụng an toàn không gặp phải các vấn đề bảo mật thông thường. Văn bản nguồn về những phát triển hiện tại liên quan đến dự án được lên kế hoạch trong tương lai gần được cấp phép theo Apache 2.0.
khả năng sử dụng ngôn ngữ đang được phát triển, bao gồm cả việc xử lý các thành phần Windows cấp thấp nhằm ngăn chặn các vấn đề tiềm ẩn phát sinh khi sử dụng ngôn ngữ C và C++. An toàn mã được tăng cường bằng cách quản lý bộ nhớ tự động, giúp loại bỏ nhu cầu của nhà phát triển để thao tác con trỏ và bảo vệ khỏi các vấn đề phát sinh từ thao tác bộ nhớ cấp thấp, chẳng hạn như truy cập sau khi rảnh, hủy tham chiếu con trỏ null và tràn bộ đệm.
Sự khác biệt chính giữa Verona và Rust là việc sử dụng mô hình dựa trên các nhóm đối tượng hơn là . Dữ liệu ở Verona được coi là cấu trúc là tập hợp các đối tượng. Kiểm tra mượn và kiểm tra quyền sở hữu được thực hiện liên quan đến một nhóm đối tượng, giúp đảm bảo an toàn khi thao tác các cấu trúc hỗn hợp và phản ánh tốt hơn mức độ trừu tượng thường được sử dụng trong phát triển.
Nguồn: opennet.ru