Rust borrow checker

Content:

Original link: Rust’s Borrow Checker as Applied Type Theory / JavaCodeGeeks.

Comments: