微软是维罗纳试点项目的一部分 一种基于 Rust 语言的新编程语言，专注于开发不受典型安全问题影响的安全应用程序。 计划在不久的将来提供与该项目相关的当前开发的源文本 在 Apache 2.0 下获得许可。
使用正在开发的语言的能力，包括处理低级 Windows 组件，以阻止使用 C 和 C++ 语言时出现的潜在问题。 自动内存管理增强了代码安全性，使开发人员无需操作指针，并防止低级内存操作引起的问题，例如释放后访问、空指针取消引用和缓冲区溢出。
Verona 和 Rust 的主要区别在于模型的使用 基于对象组而不是 。 维罗纳中的数据被视为对象集合的结构。 借用检查和所有权检查是针对一组对象执行的，这有助于确保操作复合结构时的安全性，并更好地反映开发中通常使用的抽象级别。
来源： opennet.ru