构建一个自动修复编译器错误的工具

Question

当程序不编译时，错误消息有时是深奥的。通常，一个简单的Google搜索会导致像堆栈交换这样的站点解决这个问题。为什么我们不能把它自动化呢？

用来编码的Siri怎么样？我说的Siri是一个聪明的私人助理。不是在说语音识别。

我想知道有没有人(初创公司/研究实验室)正在开发这样一个很酷的产品。它将大大减少调试时间。

Answer 1

编译器不能预知你的意图，这就是为什么。

你有没有犯过一些模糊的错误？

不能推断x的类型

却发现你丢了一个分号或逗号？这是因为编译器没有它需要的东西(一个关键的标记)，但是它不知道为什么。如果它不能弄清楚，你怎么知道你真的需要那个演员？

当然，我们可以编写更好的编译器。但这是一个正在进行的工作，我怀疑语言设计的质量与它有很大关系。静态类型和编译时断言可能是使编译器能够检查错误的最有希望的方法。

另请参阅

https://stackoverflow.com/questions/3787960/what-makes-haskells-type-system-more-powerful-than-other-languages-type-syst

Answer 2

很久以前就做过了。用于PL/I语言的康奈尔PL/C编译器自动修复它发现的任何问题，目标是始终生成一个可编译和可运行的程序，不管它与原始输入的相似程度有多小。有些变化很简单，很有道理。其他人则不然。当时一个常见的笑话是把一副随机挑选的打卡扔进PL/C，看看发生了什么:-)