local-reasoning

本文探讨了AI代码生成在局部代码块方面表现出色，但在全局程序理解方面存在困难，导致过多的防御性检查。它考察了编程语言设计是否能有所帮助，并通过一个局部推理保证全局属性的例子进行说明。