微軟開發基于 Rust 的安全編程語言

微軟最近對 Mozilla 的 Rust 語言表達了強烈興趣，原因是 Rust 設計避開常見的內存錯誤，而微軟 Windows 系統釋出的安全更新有七成以上是為了修正與內存相關的錯誤。微軟研究員 Matthew Parkinson 上周討論了安全編程語言 Project Verona（視頻，幻燈片），表示會在不久之后開源。Project Verona 和 Rust 之間有區別，它的所有關系模型是基于對象組，而 Rust 是基于單個對象。 Parkinson 稱內存管理真的很難，如果你有任意并發突變暫時的內存安全是非常困難的。