引用就像跳转

文章探讨了编程语言中引用（指针）的优缺点，以及如何处理可变的、别名化的状态。作者认为，引用会导致难以局部推理系统组件的行为，并回顾了各种解决这个问题的方法，包括面向对象编程、纯函数式编程和Rust的借用检查器。作者认为Rust的方案，即保证状态在发生变化时不被别名化，是一种强大的工具，因为它允许局部分析系统的行为。作者主张开发新的编程语言，在不使用共享可变状态的情况下允许命令式编程。