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

开发 项目管理
对于各位程序员来说,写代码着实是一件不那么让人愉快的事情。繁重的工作量不说,各种可能发生的缺漏错误让人非常崩溃。所幸有了 麻省理工的最新成果,或许大家以后的工作就要轻松很多了。“Sketch”是由麻省理工教授 Armando Solar-Lezama 所开发的一种全 新“智能编程语言”。

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

http://www.technologyreview.com/sites/default/files/styles/body_embed/public/images/self-completing-programs-2.png?itok=eLmyA5_H

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

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

原文链接:http://tech.weiphone.com/2014-02-26/MIT_to_develop_codes_of_agricultural_treasure_Intelligent_Programming_Language_577244.shtml

责任编辑:陈四芳 来源: 威锋网
相关推荐

2022-02-16 16:28:10

张量语言计算机算法ATL

2021-10-28 10:38:49

人工智能语言模型技术

2021-03-26 13:07:23

人工智能机器学习技术

2010-08-23 08:26:12

Android超算

2022-07-15 09:25:01

AI制药

2013-07-01 10:25:45

2015-11-04 10:25:14

WiFi黑科技感知

2020-05-19 09:12:05

智能口罩新冠病毒

2015-12-14 10:31:45

安全信息系统Tor网络

2021-09-10 17:00:01

ARROW光纤网络麻省理工

2023-06-19 14:00:00

数字化转型

2013-07-09 09:45:28

2010-02-25 14:16:58

开源餐厅

2020-10-11 20:10:59

技术人工智能麻省理工

2020-12-18 07:41:01

码农编程语言

2023-07-25 12:50:50

2020-04-02 11:52:49

麻省理工人工智能课程

2020-04-30 09:18:34

麻省理工无人机系统

2020-12-12 16:08:04

编程语言开发

2015-07-02 10:08:14

漏洞漏洞自动修复
点赞
收藏

51CTO技术栈公众号