Vale 编程语言的反向借用检查算法解析

Vale 语言的编译器采用一种罕见的"反向"借用检查方法：函数先经过解析、静态类型、静态分组三阶段前向处理，到第四阶段安全检查时改为从最后一条语句向前遍历到函数顶部，作者声称这是他所知唯一在安全检查阶段倒着走的借用检查器。