Contravariant lifetimes and garbage collection: Inside Nova's Rust-based JavaScript engine
This article from the Nova blog discusses the contrarian approach to garbage collection (GC) in the Nova JavaScript engine, which is written in Rust. The author explains how they model GC using the Rust borrow checker with contravariant lifetimes, a novel approach that goes against typical GC design patterns. The piece covers the philosophical underpinnings
trynova.dev4mo ago