A New Way to Blend Borrow Checking and Reference Counting
The article introduces Ante, a language that blends borrow checking and reference counting by letting programmers annotate when a value doesn't need borrow checking, so the compiler uses simpler ref counting instead. This combines borrow checking's performance with reference counting's flexibility.
Background
- The article presents a new memory management idea for the Ante programming language: blending compile-time borrow checking (as in Rust) with runtime reference counting (as in Swift/Python). The goal: let programmers avoid the notorious "fight with the borrow checker" while keeping performance good.
- Ante is a young, experimental systems language exploring different memory strategies. The author, Evan (Verdagon), also created the Vale language, which experiments with region-based memory.
- Borrow checking: a compile-time system that guarantees memory safety without garbage collection, but forces programmers to write code in restrictive patterns.
- Reference counting (RC): a runtime system that tracks object references and frees memory automatically, more flexible but with runtime cost.
- The blend: default to cheap borrow checking, but allow opting into RC for tricky patterns — avoiding both full RC overhead and strict borrow checker frustration.