設(shè)置
  • 日夜間
    隨系統(tǒng)
    淺色
    深色
  • 主題色

華為下一代編程語言“倉頡”首席架構(gòu)師揭曉:南京大學(xué)馮新宇教授

2024/6/22 17:16:40 來源:IT之家 作者:汪淼 責(zé)編:汪淼

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ā)。

圖片 1

倉頡編程語言是一款面向全場景智能化應(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)境。

圖片 2

南京大學(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é)任教。

華為 HDC 2024 開發(fā)者大會專題

廣告聲明:文內(nèi)含有的對外跳轉(zhuǎn)鏈接(包括不限于超鏈接、二維碼、口令等形式),用于傳遞更多信息,節(jié)省甄選時間,結(jié)果僅供參考,IT之家所有文章均包含本聲明。

相關(guān)文章

關(guān)鍵詞:編程語言,倉頡編程語言,華為編程,HDC 2024,馮新宇

軟媒旗下網(wǎng)站: IT之家 最會買 - 返利返現(xiàn)優(yōu)惠券 iPhone之家 Win7之家 Win10之家 Win11之家

軟媒旗下軟件: 軟媒手機APP應(yīng)用 魔方 最會買 要知