麻省理工开发码农至宝：智能化编程语言

对于各位程序员来说，写代码着实是一件不那么让人愉快的事情。繁重的工作量不说，各种可能发生的缺漏错误让人非常崩溃。所幸有了麻省理工的最新成果，或许大家以后的工作就要轻松很多了。“sketch”是由麻省理工教授 armando solar-lezama 所开发的一种全新“智能编程语言”。之所以说它智能，是因为 sketch 可以自动填补、修正代码内容，让程序员可以忽略许多繁琐的细节。

<a href="http://www.technologyreview.com/sites/default/files/styles/body_embed/public/images/self-completing-programs-2.png?itok=elmya5_h">http://www.technologyreview.com/sites/default/files/styles/body_embed/public/images/self-completing-programs-2.png?itok=elmya5_h</a>

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

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