微软开发基于 Rust 的安全编程语言

微软最近对 Mozilla 的 Rust 语言表达了强烈兴趣，原因是 Rust 设计避开常见的内存错误，而微软 Windows 系统释出的安全更新有七成以上是为了修正与内存相关的错误。微软研究员 Matthew Parkinson 上周讨论了安全编程语言 Project Verona（视频，幻灯片），表示会在不久之后开源。Project Verona 和 Rust 之间有区别，它的所有关系模型是基于对象组，而 Rust 是基于单个对象。 Parkinson 称内存管理真的很难，如果你有任意并发突变暂时的内存安全是非常困难的。