自我逃逸: 具有健全和可判定双向类型检查的表达式可达性类型

可达性类型通过跟踪共享、逃逸和可变数据的生命周期和可达性,来解决Rust风格"共享XOR可变"方法的关键限制。本文提出了一个更加表达性的可达性类型系统,并开发了一个健全和可判定的双向类型检查算法。