IT之家 6 月 22 日消息，在昨日的 HDC 2024 華為開發(fā)者大會主題演講上，華為終端 BG 軟件部總裁龔體正式官宣了華為自研倉頡編程語言。該語言歷經(jīng) 5 年研發(fā)沉淀，現(xiàn)已開啟開發(fā)者預(yù)覽。
IT之家從南京大學(xué)官方獲悉，2019 年，華為啟動倉頡編程語言項目，南京大學(xué)計算機科學(xué)與技術(shù)系馮新宇教授擔任首席架構(gòu)師，領(lǐng)導(dǎo)華為編程語言實驗室開展項目研發(fā)。
倉頡編程語言是一款面向全場景智能化應(yīng)用開發(fā)的現(xiàn)代編程語言，具有原生智能化、天生全場景、高性能，強安全等技術(shù)特色，擁有現(xiàn)代語言特性的集成、全方位的編譯優(yōu)化和運行時實現(xiàn)、簡潔易用的智能 Agent 聲明式編程框架、以及開箱即用的 IDE 工具鏈支持。
除了派出程序設(shè)計語言學(xué)術(shù)帶頭人馮新宇教授擔任華為編程語言首席專家，南京大學(xué)和華為還圍繞下一代程序設(shè)計技術(shù)開展了長期全面的合作。當前多個團隊依托華為-南京大學(xué)軟件新技術(shù)聯(lián)合實驗室，在泛在操作系統(tǒng)應(yīng)用開發(fā)框架、IDE 代碼提示和智能代碼生成技術(shù)、程序分析框架和工具、跨語言互操作和代碼轉(zhuǎn)換工具等方面開展聯(lián)合研發(fā)，共同為倉頡編程語言構(gòu)建軟件生態(tài)環(huán)境。
IT之家注：“泛在操作系統(tǒng)（Ubiquitous Operating System）”概念由北京大學(xué)梅宏院士于 2018 年在《IEEE Computer》雜志的封面文章“走向泛在操作系統(tǒng)：一種軟件定義的視角”中提出，來表示不限于 Windows / Linux 這樣的傳統(tǒng)操作系統(tǒng)的未來新型操作系統(tǒng)。泛在操作系統(tǒng)所管理的不僅包括主機、PC 端、移動終端、物聯(lián)終端等不同計算設(shè)備，也包括面向新型人機物融合應(yīng)用場景的各種不同新型計算環(huán)境。
南京大學(xué)官網(wǎng)顯示，馮新宇教授于 1999 年獲得南京大學(xué)計算機科學(xué)學(xué)士學(xué)位，2002 年獲得南京大學(xué)計算機科學(xué)碩士學(xué)位，2007 年獲得耶魯大學(xué)計算機科學(xué)博士學(xué)位。
馮新宇教授的介紹顯示，他的研究興趣是形式方法和編程語言領(lǐng)域。他對開發(fā)理論、編程語言和工具并構(gòu)建經(jīng)過正式認證的系統(tǒng)軟件特別感興趣，并嚴格保證安全性和正確性。
此外，他曾在南京大學(xué)、香港理工大學(xué)計算機系、AT&T 香農(nóng)實驗室、耶魯大學(xué)計算機科學(xué)系、芝加哥豐田技術(shù)研究所、三星電子（中國）研究中心、丹麥技術(shù)大學(xué)（DTU）、中科大?耶魯高可信軟件聯(lián)合研究中心、中國科大?國創(chuàng)高可信軟件工程中心、中國科學(xué)技術(shù)大學(xué)（USTC）任職，于 2018 年回到南京大學(xué)任教。
廣告聲明：文內(nèi)含有的對外跳轉(zhuǎn)鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時間，結(jié)果僅供參考，IT之家所有文章均包含本聲明。