Affine types

A substructural type discipline in which a value may be used at most once, giving the type-theoretic foundation for Rust's move/ownership semantics that the borrow checker mechanically enforces.

grounded in: Latest-trends theme 'Rust and systems-language ergonomics: Rust's design patterns and concurrency model are shaping how other tools evolve' (2026-07-16 HN front page)