标签
Ante 语言设计者介绍了一种新的借用检查方案，通过融合 group borrowing 等思想，在保持无悬垂指针安全的前提下，实现零成本的循环可变性与更宽松的共享可变性检查。
一篇深入的技术博客，介绍了 Valen 编程语言中一种新颖的逆向遍历借用检查器：它通过时间倒流的方式遍历函数来验证内存安全，同时可以有选择地放宽共享与可变互斥的规则。
Valen 的新文章介绍了一种更灵活的借用检查器（group borrowing），编译器会记住引用指向的位置，以实现比 Rust 更简单灵活的内存安全方案，并已被 Google Carbon 等语言采纳。
Verdagon 详细介绍了实验性编程语言 Valen 如何在 Valen/Rust 边界上强制保证内存安全，通过实现分组借用（无需共享异或可变的借用检查），并能无缝直接调用 Rust 函数。
本文讨论了三种编程语言特性：用于在Crystal和TypeScript等静态语言中实现动态感觉的流类型、用于确保Rust内存安全的借用检查，以及用于D语言中不变性检查的契约编程。
Ante 提出了一种新颖的方法，将借用检查和引用计数无缝结合，且不会引发运行时崩溃，使开发者能够在系统编程语言中同时使用这两种范式。
一篇博客文章介绍了一种玩具语言，它在运行时而非静态类型系统中强制执行借用检查，通过在栈上使用轻量级引用计数来支持内部指针和单一所有权，适用于动态类型环境。