麻省理工開發碼農至寶:智能化編程語言
對于各位程序員來說,寫代碼著實是一件不那么讓人愉快的事情。繁重的工作量不說,各種可能發生的缺漏錯誤讓人非常崩潰。所幸有了 麻省理工的***成果,或許大家以后的工作就要輕松很多了。“Sketch”是由麻省理工教授 Armando Solar-Lezama 所開發的一種全 新“智能編程語言”。之所以說它智能,是因為 Sketch 可以自動填補、修正代碼內容,讓程序員可以忽略許多繁瑣的細節。
Lezama 說,目前***版本的 Sketch 可以在幾毫秒內修復代碼。他和學生們已經嘗試著完成了一些程序,證明 Sketch 完全可以勝任復雜的項目。
開發者們的野心很大,他們希望 Sketch 可以取代現在流行的編程語言。不過它的開發仍舊在進行之中,一旦完成,其普及的潛力不可小看。