Categories
科技報導

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie”



最近,有關華為自主開發編程語言的消息突然在互聯網上傳播開來。 根據微博博客@IT工程師的說法,華為正在開發一種新的獨立編程語言倉jie負責人是南京大學計算機科學與技術系博士生導師馮新宇。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 1

Tuyuan Weibo @IT工程師,授權

目前,此事尚未得到官方確認,但眾所周知@Anonymous用戶透露,華為打算在業界研究其自己的編程語言。已經是一個秘密

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 2

“華為自主開發的編程語言不是秘密”

“編譯器實驗室已經存在”

實際上,華為在編譯器和編程語言方面一直在前進。

方舟編譯器,是華為在編譯器方向上的研究成果之一。

2019年8月31日,華為在開源平台上發布了Ark編譯器的源代碼。 這是華為第一個完全自主開發的編譯器平台。

知道@養貓的哈士奇說,華為2012實驗室的中央軟件研究所下有一個編譯器和編程語言實驗室,這個實驗室已經存在了很多年。

從Lagou.com的招聘信息中,我們可以看到,在華為2012實驗室的中央軟件研究所之下確實有一個編譯器實驗室和芯片軟件的共同設計部門。 “在編譯器和芯片軟件領域進行協同設計十餘年的努力”。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 3

土元拉溝

那麼,為什麼要在這方面進行研究呢?

知道@養貓的哈士奇說過,去年華為消費者BG軟件部總裁在一次交流中王成祿博士,提到了為什麼華為要參與這個實驗室和編譯器。

簡而言之,華為很久以前發現,在核心網絡設備上自行編譯可以極大地提高性能(通信設備也有性能要求)。 後來,一個小團隊開始進行編譯。 換句話說,在製作Ark編譯器之前,華為已經進行了很多年的編譯相關工作。

在製造智能手機的過程中,華為希望使手機像iPhone一樣流暢,但是遇到了很多困難,其中之一就是Android的虛擬機機制。

因此,他們做出了一個非常重要的決定-開發Ark編譯器。 實際上,這不僅適用於手機平台,還適用於通信設備等,以統一華為的所有編譯工作並全面提高性能。

但是,Ark編譯器面臨諸如Java的反射機制之類的問題,需要解決。

因此,關於華為即將開發自己的編程語言的消息,Zhihu @養貓的哈士奇推測,自己開發的編程語言是遲早要採取的步驟。

“相關領域的專家加入”

另外,有網友爆料說,華為最近在相關方面也很慷慨地招人。

2014年,華為在美國的研究實驗室聘請了彭武。 她在IBM工作了十餘年,是並行計算語言和編譯器領域的專家。 她獲得了2012年PACT最佳論文獎。 。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 4

根據Peng Wu在LinkedIn上的信息,她於2014年12月加入華為編譯器編程技術實驗室擔任高級總監,並於2019年5月加入華為在美國的子公司Futurewei,擔任技術總監,負責編程語言設計,編譯器框架。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 5

土元領英

就在今年,華為在愛丁堡大學成立了一個編程語言實驗室(Programming Languages Lab),並聘請了丹·R·吉卡(Dan R.Ghica)為主任。 目前,該實驗室已經在招聘編程語言工程師的博士學位。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 6

愛丁堡大學官方網站資源

從Google Scholar的角度來看,Dan R. Ghica的主要研究方向是編程語言,h指數為22,該論文被引用了一千多次。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 7

圖片來源Google Scholar

謠言中負責倉ang的教授馮新宇是誰?

馮新宇是誰?

根據南京大學的官方網站,馮新宇教授畢業於南京大學,獲得計算機科學學士學位。 之後,他攻讀博士學位。 他在耶魯大學計算機科學系學習,並在AT&T實驗室實習。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 8

圖片來源南京大學官方網站

馮新宇教授主要從事程序驗證,並發理論和程序語言理論的研究。 他是中國大學編程語言方向的專家。

從2010年至2017年,馮新宇教授是中國科學技術大學的教授,並在18年後來到南京大學。 他目前是南京大學的教授,帶領團隊贏得了2019年PLDI傑出論文獎。

智虎@一位匿名用戶說,馮新宇教授可能是大陸大學中POPL和PL頂級會議最多的人(之一)。

此外,馮新宇是中國科學技術大學初級班的導師和校友邵忠教授,畢業於普林斯頓大學,擁有碩士學位和博士學位,對編程語言和編譯系統有深刻的了解。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 9

圖片來源:中國科學技術大學官方網站

邵忠教授曾經為SML語言開發過編譯器SML / NJ,並在“認證的受信軟件”領域進行了深入的研究。 他發表了5篇關於POPL的論文,是國內第一位發表關於POPL論文的學者。

Google和Apple具有自行開發的編程語言

實際上,谷歌和蘋果公司都發布了自己的編程語言。

Google於2009年推出了Go語言。該語言的目的是快速運行,快速編譯並使其易於編寫。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 10

這也使Go語言在語法上更具限制性,但它確實在“運行速度”,“編譯速度”和“易於使用”之間找到了平衡,並已成為當前最受歡迎的編程語言之一。

蘋果還於2014年在WWDC上發布了自己的Swift語言,它具有類似於Python的易用性以及強大的運行效率,曾一度躋身當年最受歡迎的TOP 15編程語言之列。

對於尚未發布的“倉jie”

許多網民對華為自主開發的編程語言“倉jie”發表了看法。

1.保持穩定,開源幾乎是必須的

實際上,我國以前並非沒有“自主開發的編程語言”。

今年1月,中國科學院計算技術研究所發布了基於Python的編程語言“木蘭”(μlang)。

但是,“花木蘭”項目負責人劉磊使用“完全獨立的設計,開發和實現”來描述這種編程語言。

中國科學院官員隨後回應說,劉磊“誇大了宣傳”,這是一種“虛假陳述”,這種語言逐漸在公眾眼中消失了。

華為接觸了由南大馮新宇教授領導的自行開發的編程語言“倉jie” 11

“花木蘭”猜對數字套路,消息來源知道@吳烜

秉承“花木蘭”的先例,鑑於這次華為的“倉jie”,智虎@吳烜認為國產編程語言應該更加穩定,並且開源幾乎是必須的

從花木蘭中學到一些教訓,盡快開放源代碼,並儘量避免虛假陳述。 如果目標是通用編程語言,就開放性而言,它必須與市場上的英語編程語言保持一致。 開源幾乎是必須的。 在這個特殊時期,注定要在顯微鏡下觀察,所以最好早做準備。

2.不僅僅是解決“自我研究”

針對此新聞稿,Zhihu @DBinary認為“自我研究”不應成為重點,“倉jie”應該表現出更具說服力的價值。

如果一種語言想發展,那就不要談論生態了。 無論如何,讓我們談談這種語言天生就是要解決的問題。 而這種叫倉jie的語言只是為了解決“自我研究”?

如果僅以自行開發的編程語言為例,那確實不是一件大事。 您看,我自己編寫了一種稱為StoryScript的語言,首先是詞法分析器,編譯器,虛擬機和調試器。 ,一切皆可用。 除了我,這種語言不應該有第二個人可以使用,這不是因為該語言很高,而是因為沒有人可以看到它。

3.請勿使用“ Char”作為英文名稱

當然,如果您只是談論事實,Zhihu @蘇遠說,從突發新聞的英文名稱“倉jie”來看,Char實際上不是一個好選擇。 我希望在正式發佈時選擇一個更好的名稱。

Char是計算機中的字符,幾乎所有編程語言都有Char的概念。 如果新的語言名稱與計算機術語相同,則在內容搜索中固有地處於不利地位。 想要查找倉jie信息的開發人員將被大量無關的信息淹沒。 根據權重排序,前五頁很可能沒有倉jie語言。