Sketchplane 2014-02-27
对于各位程序员来说,写代码着实是一件不那么让人愉快的事情。繁重的工作量不说,各种可能发生的缺漏错误让人非常崩溃。所幸有了 麻省理工的最新成果,或许大家以后的工作就要轻松很多了。“Sketch”是由麻省理工教授 Armando Solar-Lezama 所开发的一种全 新“智能编程语言”。之所以说它智能,是因为 Sketch 可以自动填补、修正代码内容,让程序员可以忽略许多繁琐的细节。
Lezama 说,目前最新版本的 Sketch 可以在几毫秒内修复代码。他和学生们已经尝试着完成了一些程序,证明 Sketch 完全可以胜任复杂的项目。