写代码对于程序员而言，并不是一件欢乐的事，非常繁重的工作量，一旦产生各种漏洞的话会让人非常崩溃。最近，麻省理工发表了最新成果，或许各位码农之后的工作就要轻松很多了。“Sketch”是由麻省理工教授 Armando Solar-Lezama 所开发的一种全新“智能编程语言”。之所以说它智能，是因为 Sketch 可以自动填补、修正代码内容，让程序员可以忽略许多繁琐的细节。

Lezama 说，目前最新版本的 Sketch 可以在几毫秒内修复代码。他和学生们已经尝试着完成了一些程序，证明 Sketch 完全可以胜任复杂的项目。

开发者们的野心很大，他们希望 Sketch 可以取代现在流行的编程语言。不过它的开发仍旧在进行之中，一旦完成，其普及的潜力不可小看。