Clojure’s Approach to Identity and State (2008)
Immutability is very helpful, and the connection between values and identity is illuminating.<p>But there have been very important developments in programming languages since this post/page was written: notably, the introduction of "borrow checking" (exemplified by Rust's implementation). Borrow checking has a very significant positive effect on the sustainability of imperative code, which makes the claim that "imperative programming is founded on an unsustainable premise" feel dated.<p>It is worth taking the time to understand what borrow checking enables. For example: borrow checking allows even mutable datastructures to be treated as values with structural equality. It does this by guaranteeing that unless you have exclusive access to something, it may not be mutated.<p>A good explanation of the benefits of ownership and borrow checking: <a href="http://squidarth.com/rc/rust/2018/05/31/rust-borrowing-and-ownership.html" rel="nofollow">http://squidarth.com/rc/rust/2018/05/31/rust-borrowing-and-o...</a>