Tag
Ante 语言设计者介绍了一种新的借用检查方案，通过融合 group borrowing 等思想，在保持无悬垂指针安全的前提下，实现零成本的循环可变性与更宽松的共享可变性检查。
A deep technical blog post introducing a novel reverse-walking borrow checker for the Valen programming language, which traverses functions backward through time to verify memory safety while optionally relaxing shared-xor-mutable rules.
Valen 的新文章介绍了一种更灵活的借用检查器（group borrowing），编译器会记住引用指向的位置，以实现比 Rust 更简单灵活的内存安全方案，并已被 Google Carbon 等语言采纳。
Verdagon details how the experimental Valen programming language enforces memory safety across the Valen/Rust boundary, implementing group borrowing (borrow checking without shared-xor-mutable) while seamlessly calling into Rust functions directly.
This article discusses three programming language features: flow typing for dynamic feel in static languages like Crystal and TypeScript, borrow checking for memory safety in Rust, and contract programming for invariant checking in D.
Ante introduces a novel approach to blending borrow checking and reference counting without runtime crashes, enabling developers to use both paradigms seamlessly in a systems programming language.
A blog post presents a toy language that enforces borrow-checking at runtime without static typing, using cheap reference-counting on the stack to enable interior pointers and single ownership in a dynamically-typed setting.