Valen推出了一种新型灵活的借用检查器，旨在解决内存安全挑战。它将组借用与引用计数和代际引用相结合。与Rust不同，Valen使用单一借用引用类型并记录引用指向位置，从而实现复杂的数据访问。该系统支持与Rust代码互操作，旨在像垃圾回收一样简单，同时保持借用检查的强大功能。这种方法通过在受控条件下允许引用与可变性共存，解决了共享-异或-可变冲突。
组借用最初由Nick Smith提出，在被Mojo放弃后得以复兴。此后，它影响了Google的Carbon、Ante、Plecra、Zeta和Fang等语言。Valen将这一概念与Vale的方法及Rust兼容性相结合。编译器跟踪引用来源，在没有严格所有权规则的情况下强制执行内存安全。这种灵活性可能会重新定义现代语言平衡性能与安全的方式。
来源: Hacker News · 由HeadlinesBriefing整理摘要