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