> [!summary] > A [[Resource Management]] construct popularized by Rust. > [!Quote] > There's a large class of safe programs that [[Rust]]'s borrow checker rejects. This is an implicit concept in many programming paradigm, but [[Rust]] popularized its explicit articulation. [[Swift]] and [[Mojo]] has similar ownership constructs, with `inout`, `borrowed/borrowing` and `owned/consuming` modifiers. # Theoretical foundation - tree borrows - https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html, https://dl.acm.org/doi/pdf/10.1145/3735592 - stacked borrows