近日，微软研究院开源了一个名为 Verona 的项目。这是一个面向研究的编程语言，旨在解决内存管理和计算机安全方面的问题，并借鉴了 Rust 等的新特性。