點(diǎn)擊“開發(fā)者技術(shù)前線”，選擇“星標(biāo)?”

在看|星標(biāo)|留言,? 真愛(ài)

量子位 報(bào)道 | 公眾號(hào) QbitAI

近日，華為要自主研發(fā)編程語(yǔ)言的消息忽然在網(wǎng)上火了。

據(jù)微博博主@IT工程師 稱，華為正在研發(fā)新的自主編程語(yǔ)言倉(cāng)頡，領(lǐng)頭人是南京大學(xué)的計(jì)算機(jī)科學(xué)與技術(shù)系博士生導(dǎo)師，馮新宇。

△圖源微博@IT工程師，經(jīng)授權(quán)

目前這件事尚未得到官方證實(shí)，但據(jù)知乎@匿名用戶 透露，華為有意研究自己的程序語(yǔ)言，在行業(yè)內(nèi)早已是公開的秘密。

「華為自研編程語(yǔ)言并非秘密」

“編譯器實(shí)驗(yàn)室早已有之”

事實(shí)上，華為在編譯器與編程語(yǔ)言方面早有動(dòng)向。

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

2019年8月31日，華為在開源平臺(tái)上放出了方舟編譯器的源代碼，這是華為首個(gè)完全自主研發(fā)的編譯器平臺(tái)。

知乎@養(yǎng)貓的哈士奇表示，華為2012實(shí)驗(yàn)室的中央軟件研究院下面有一個(gè)編譯器與編程語(yǔ)言實(shí)驗(yàn)室，這個(gè)實(shí)驗(yàn)室已經(jīng)存在很多年了。

從拉勾網(wǎng)上的招聘信息可以看見，華為2012實(shí)驗(yàn)室的中央軟件院下面的確有一個(gè)編譯器實(shí)驗(yàn)室&芯片軟件協(xié)同設(shè)計(jì)部，「在編譯器及芯片軟件協(xié)同設(shè)計(jì)領(lǐng)域耕耘10余年」。

△圖源拉勾網(wǎng)

那么，為什么要進(jìn)行這方面的研究？

知乎@養(yǎng)貓的哈士奇 表示，去年一次交流中，華為消費(fèi)者BG軟件部的總裁王成錄博士，提到了華為為什么要搞這個(gè)實(shí)驗(yàn)室、做編譯器這些東西。

簡(jiǎn)單來(lái)說(shuō)，就是華為很早以前就發(fā)現(xiàn)，在核心網(wǎng)設(shè)備上自己編譯，可以大大提高性能（通信設(shè)備也是有性能要求的），后來(lái)就開始有小規(guī)模的團(tuán)隊(duì)來(lái)做編譯。也就是說(shuō)，在做方舟編譯器之前，華為已經(jīng)做了很多年編譯的相關(guān)工作了。

在做智能手機(jī)的過(guò)程中，華為想把手機(jī)做到像iPhone一樣流暢，但遇到很多困難，其中很重要的一點(diǎn)就是Android的虛擬機(jī)機(jī)制。

所以他們做了一個(gè)很重要的決定——（研發(fā)）方舟編譯器，事實(shí)上這不僅是針對(duì)手機(jī)平臺(tái)、還包括通信設(shè)備等，將華為所有的編譯工作都統(tǒng)一起來(lái)，全面提升效能。

然而，方舟編譯器面臨著Java的反射機(jī)制等問(wèn)題，這些是需要解決的。

所以，對(duì)于這次消息稱華為要自研編程語(yǔ)言的消息，知乎@養(yǎng)貓的哈士奇 推測(cè)，自研編程語(yǔ)言是遲早要邁出的一步。

“相關(guān)領(lǐng)域?qū)＜壹尤搿?/h3>

此外，有知乎網(wǎng)友爆料，華為近段時(shí)間在相關(guān)方向的招人也非常大手筆。

2014年的時(shí)候，華為在美國(guó)的研究實(shí)驗(yàn)室就聘用了Peng Wu，她此前曾經(jīng)在IBM工作十幾年，是并行計(jì)算語(yǔ)言和編譯器領(lǐng)域的專家，曾經(jīng)獲得過(guò)2012年P(guān)ACT的最佳論文獎(jiǎng)。

據(jù)Peng Wu在領(lǐng)英上的資料，她于2014年12月加入華為編譯器Programming Technologies Lab任資深總監(jiān)，并于2019年5月加入華為的美國(guó)子公司Futurewei，擔(dān)任技術(shù)總監(jiān)，負(fù)責(zé)編程語(yǔ)言的設(shè)計(jì)、編譯器框架的設(shè)計(jì)。

△圖源領(lǐng)英

而就在今年，華為在愛(ài)丁堡大學(xué)成立了編程語(yǔ)言實(shí)驗(yàn)室（Programming Languages Lab），又找了Dan R. Ghica做總監(jiān)，目前，這個(gè)實(shí)驗(yàn)室已經(jīng)在招聘編程語(yǔ)言工程師的博士實(shí)習(xí)生。

△圖源愛(ài)丁堡大學(xué)官網(wǎng)

從谷歌學(xué)術(shù)來(lái)看，Dan R. Ghica的主要研究方向就是編程語(yǔ)言，h-index達(dá)22，論文一共被引用一千余次。

△圖源谷歌學(xué)術(shù)

而這次傳言中負(fù)責(zé)「?jìng)}頡」的教授馮新宇，究竟是什么人呢？

馮新宇為何人？

根據(jù)南京大學(xué)的官網(wǎng)介紹，馮新宇教授本碩畢業(yè)于南京大學(xué)計(jì)算機(jī)科學(xué)專業(yè)，此后于耶魯大學(xué)就讀計(jì)算機(jī)科學(xué)博士，期間曾經(jīng)在AT&T實(shí)驗(yàn)室實(shí)習(xí)。

△圖源南京大學(xué)官網(wǎng)

馮新宇教授主要從事程序驗(yàn)證、并發(fā)理論、程序設(shè)計(jì)語(yǔ)言理論方面的研究，是我國(guó)高校編程語(yǔ)言方向的專家。

2010-2017年期間，馮新宇教授曾經(jīng)在中科大就任教授，并于18年以后來(lái)到南京大學(xué)，目前在南京大學(xué)就任教授，并于2019年帶領(lǐng)團(tuán)隊(duì)獲得PLDI杰出論文獎(jiǎng)。

知乎@匿名用戶 表示，馮新宇教授可能是在大陸高校就職發(fā)POPL和PL頂會(huì)最多的人（之一）。

此外，馮新宇的導(dǎo)師、中科大少年班的校友邵中教授，碩博畢業(yè)于普林斯頓大學(xué)，對(duì)編程語(yǔ)言及編譯系統(tǒng)了解非常深入。

△圖源中國(guó)科學(xué)技術(shù)大學(xué)官網(wǎng)

邵中教授曾為SML語(yǔ)言研發(fā)編譯器SML/NJ，對(duì)“帶證明可信軟件”領(lǐng)域有深入研究，在POPL上發(fā)表過(guò)5篇論文，也是國(guó)內(nèi)首個(gè)在POPL上發(fā)論文的學(xué)者。

谷歌、蘋果已有自研編程語(yǔ)言

事實(shí)上，谷歌與蘋果都已經(jīng)推出了自己的編程語(yǔ)言。

谷歌于2009年就推出了Go語(yǔ)言，這門語(yǔ)言設(shè)計(jì)的目的，是為了在運(yùn)行速度快的同時(shí)，編譯速度也不錯(cuò)，同時(shí)也更容易上手編寫。

這也使得Go語(yǔ)言的語(yǔ)法限制較多，但它的確找到了“運(yùn)行速度”、“編譯速度”和“上手容易”三者的平衡點(diǎn)，成為目前較受歡迎的編程語(yǔ)言之一。

而蘋果也于2014年在WWDC上推出了自己的Swift語(yǔ)言，并憑借著類似于Python的易用性、和較強(qiáng)的運(yùn)行效率，一度在當(dāng)年躋身成為最受歡迎TOP 15的編程語(yǔ)言之一。

對(duì)于尚未面世的「?jìng)}頡」

對(duì)于華為這次的自研編程語(yǔ)言「?jìng)}頡」，許多網(wǎng)友表達(dá)了自己的看法。

1、走穩(wěn)些，開源幾乎是必須的

事實(shí)上，我國(guó)此前并非沒(méi)有“自研編程語(yǔ)言”。

今年1月份，中科院計(jì)算技術(shù)研究所推出了“木蘭”（μlang），這是一門基于Python實(shí)現(xiàn)的編程語(yǔ)言。

然而“木蘭”項(xiàng)目負(fù)責(zé)人劉雷，卻用了“完全自主設(shè)計(jì)、開發(fā)和實(shí)現(xiàn)”來(lái)形容這門編程語(yǔ)言。

中科院官方隨后回應(yīng)，劉雷“夸大宣傳”，這樣的說(shuō)法屬于“虛假陳述”，這門語(yǔ)言也逐漸消失在大眾視野中。

△“木蘭”猜數(shù)字例程，圖源知乎@吳烜

有了“木蘭”的先例，針對(duì)這次華為的「?jìng)}頡」，知乎@吳烜 認(rèn)為，國(guó)產(chǎn)編程語(yǔ)言應(yīng)該走穩(wěn)些，而且開源幾乎是必須的。

吸取木蘭的一些教訓(xùn)吧，趁早開源，盡量避免以訛傳訛。如果目標(biāo)是通用編程語(yǔ)言，就要和現(xiàn)在市場(chǎng)上的英文編程語(yǔ)言在開放性上對(duì)齊。開源幾乎是必須的。在此特殊時(shí)期，必然被放到顯微鏡下看，不如早作準(zhǔn)備。

2、不應(yīng)僅僅為了解決“自研”

針對(duì)這次的新聞爆料，知乎@DBinary 則認(rèn)為，“自研”不應(yīng)是重點(diǎn)，「?jìng)}頡」應(yīng)該拿出更有說(shuō)服力的價(jià)值體現(xiàn)。

一門語(yǔ)言要發(fā)展，先不說(shuō)生態(tài)，好歹說(shuō)說(shuō)這門語(yǔ)言誕生出來(lái)為了解決什么問(wèn)題。而這個(gè)叫倉(cāng)頡的語(yǔ)言，難道就僅僅是為了解決“自研”？

如果只是拿自研編程語(yǔ)言這件事來(lái)說(shuō)，真的不是很高大上的事情，你看我自己就寫了一個(gè)叫StoryScript的語(yǔ)言，從詞法分析器開始寫，編譯器、虛擬機(jī)、調(diào)試器、一應(yīng)俱全。這個(gè)語(yǔ)言，除了我之外應(yīng)該沒(méi)有第二個(gè)人會(huì)用了，不是因?yàn)檎Z(yǔ)言高大上，而是因?yàn)闆](méi)人看得上。

3、不要用“Char”當(dāng)英文名

當(dāng)然，如果僅僅就事論事，知乎@蘇遠(yuǎn) 表示，從爆料的「?jìng)}頡」英文名Char來(lái)說(shuō)，其實(shí)不是一個(gè)好選擇，希望正式發(fā)布時(shí)，選個(gè)更好的名字。

Char在計(jì)算機(jī)里是字符的意思，幾乎所有編程語(yǔ)言里都有Char的概念。?如果一個(gè)新語(yǔ)言名字和一個(gè)計(jì)算機(jī)通用術(shù)語(yǔ)重名，在內(nèi)容搜索方面已經(jīng)先天處于不利地位。?開發(fā)者想查找倉(cāng)頡的資料，一定會(huì)充斥著大量的無(wú)關(guān)信息。按照權(quán)重排名，很可能前五頁(yè)都沒(méi)有倉(cāng)頡語(yǔ)言的結(jié)果。

那么，對(duì)于華為自研編程語(yǔ)言「?jìng)}頡」一事，你怎么看？

@IT工程師 的微博：https://weibo.com/1749224837/JiAFh0oFM?type=repost#_rnd1599465214374
知乎@吳烜 的回答：https://www.zhihu.com/question/418762759/answer/1452144290
知乎@蘇遠(yuǎn) 的回答：https://www.zhihu.com/question/418762759/answer/1458729514
知乎@養(yǎng)貓的哈士奇 的回答：https://www.zhihu.com/question/418762759/answer/1459388553
知乎@DBinary 的回答：https://www.zhihu.com/question/418762759/answer/1458923757
知乎@匿名用戶 的回答：https://www.zhihu.com/question/418762759/answer/1454618474

參考鏈接：
https://cs.nju.edu.cn/xyfeng/research/feng-cv.pdf
https://www.lagou.com/jobs/6842654.html?show=
https://blogs.ed.ac.uk/he-lab/2020/08/26/phd-internship-programming-language-engineer/
https://www.cs.bham.ac.uk/~drg/pubs.html

前線推出學(xué)習(xí)交流群，加群一定要備注：

研究/工作方向+地點(diǎn)+學(xué)校/公司+昵稱（如大前端+上海+上交+可可）
根據(jù)格式備注，可更快被通過(guò)且邀請(qǐng)進(jìn)群，領(lǐng)取一份專屬學(xué)習(xí)禮包
掃碼加我微信進(jìn)群
大廠內(nèi)推和技術(shù)交流，和前輩大佬們零距離


END


開發(fā)者技術(shù)前線 ，匯集技術(shù)前線快訊和關(guān)注行業(yè)趨勢(shì)，大廠干貨，是開發(fā)者經(jīng)歷和成長(zhǎng)的優(yōu)秀指南。
歷史推薦


厲害了！華為將發(fā)布國(guó)產(chǎn)編程語(yǔ)言，打破國(guó)外壟斷！
昨天，還在 for 循環(huán)里寫加號(hào)拼接字符串的那個(gè)同事，今天已經(jīng)不在了
支付寶二面：Mybatis接口Mapper內(nèi)的方法為啥不能重載嗎？我直接懵逼了...
華為 Java 編程規(guī)范出爐，究竟和官方文檔有何不同？
好文點(diǎn)個(gè)在看吧！