Rust's borrow checker is not as as everyone makes it out to be - it's a clever implementation of existing concepts from type theory and functional programming that just happens to be really well-suited to systems programming.