Microsoft เป็นส่วนหนึ่งของโครงการนำร่อง Verona ภาษาการเขียนโปรแกรมใหม่ที่ใช้ภาษา Rust และมุ่งเน้นไปที่การพัฒนาแอปพลิเคชันที่ปลอดภัยซึ่งไม่อยู่ภายใต้ปัญหาด้านความปลอดภัยทั่วไป ข้อความต้นฉบับของการพัฒนาในปัจจุบันที่เกี่ยวข้องกับโครงการมีการวางแผนในอนาคตอันใกล้นี้ ได้รับอนุญาตภายใต้ Apache 2.0
ความสามารถในการใช้ภาษาที่กำลังพัฒนารวมถึงการประมวลผลส่วนประกอบ Windows ระดับต่ำเพื่อป้องกันปัญหาที่อาจเกิดขึ้นเมื่อใช้ภาษา C และ C ++ ความปลอดภัยของโค้ดได้รับการปรับปรุงโดยการจัดการหน่วยความจำอัตโนมัติ ซึ่งช่วยลดความจำเป็นสำหรับนักพัฒนาในการจัดการกับพอยน์เตอร์และป้องกันปัญหาที่เกิดขึ้นจากการจัดการหน่วยความจำระดับต่ำ เช่น การเข้าถึงหลังจากฟรี การยกเลิกการอ้างอิงพอยน์เตอร์ null และการโอเวอร์รันบัฟเฟอร์
ข้อแตกต่างที่สำคัญระหว่าง Verona และ Rust คือการใช้โมเดล ขึ้นอยู่กับกลุ่มของวัตถุมากกว่า . ข้อมูลในเวโรนาถือเป็นโครงสร้างที่เป็นกลุ่มของวัตถุ การตรวจสอบการยืมและการตรวจสอบความเป็นเจ้าของจะดำเนินการโดยสัมพันธ์กับกลุ่มของออบเจ็กต์ ซึ่งช่วยรับรองความปลอดภัยเมื่อจัดการกับโครงสร้างคอมโพสิต และสะท้อนถึงระดับของนามธรรมที่มักใช้ในการพัฒนาได้ดียิ่งขึ้น
ที่มา: opennet.ru