Julia 編程語(yǔ)言創(chuàng)建者之一 Viral Shah 博士，確認(rèn)參加 EmTech China 2019 全球新興科技峰會(huì)。

科技不僅僅是一個(gè)時(shí)代的標(biāo)簽，它所引導(dǎo)的產(chǎn)業(yè)變革更是在雕刻這個(gè)時(shí)代。從實(shí)驗(yàn)室到產(chǎn)業(yè)，從生產(chǎn)線到每個(gè)用戶，越來(lái)越短的產(chǎn)業(yè)化路徑和越來(lái)越快的迭代速度，將我們與新興科技緊密相連。無(wú)論是市場(chǎng)寒冬或是創(chuàng)業(yè)燃點(diǎn)，我們現(xiàn)在都需要撥開(kāi)迷霧厘清真相，需要對(duì)科技未來(lái)發(fā)展趨勢(shì)有一個(gè)精準(zhǔn)的判斷。所以，我們?cè)?2019 年開(kāi)年為您準(zhǔn)備了 EmTech China 這份名單，而您，只需要坐下來(lái)，聽(tīng)這些全球最權(quán)威的人講最重要的事。

2018 年 8 月初，隨著的 1.0 版本發(fā)布的消息確認(rèn)，一門(mén)名為“Julia”的高性能動(dòng)態(tài)編程語(yǔ)言一夜之間刷爆了朋友圈和 GitHub。2018 年 12 月，Julia 的創(chuàng)始團(tuán)隊(duì)被授予 James H. Wilkinson Prize，對(duì)他們創(chuàng)建 Julia這一可用于分析和解決計(jì)算科學(xué)問(wèn)題的高性能工具，加以表彰。

圖 | Julia 語(yǔ)言的團(tuán)隊(duì)部分成員即獲獎(jiǎng)人（來(lái)源：MIT News）

這個(gè)編程語(yǔ)言的新版本之所以受到整個(gè)人工智能界的關(guān)注，最主要的原因正是其將 C 語(yǔ)言的速度、Ruby 的靈活、Python 的通用性前所未有地結(jié)合在一起，支持并行處理，易于學(xué)習(xí)和使用，尤其適合科學(xué)和工程計(jì)算。

更早之前，在今年 TOIBE 8 月份編程語(yǔ)言排行榜上，Julia 已迅速攀升至第 50 名。根據(jù) Julia 開(kāi)發(fā)團(tuán)隊(duì)的說(shuō)法，在七項(xiàng)基礎(chǔ)算法的測(cè)試中，Julia 比 Python 快 20 倍，比 R 快 100 倍，比 Matlab 快 93 倍。也有越來(lái)越多的人相信，Julia 會(huì)成為未來(lái)的主流編程語(yǔ)言。

圖丨在過(guò)去的三個(gè)月中，Julia 在 RedMonk 的排名中上升了三位，排名第 36 位（來(lái)源：RedMonk）

Julia 的崛起，與目前編程語(yǔ)言發(fā)展遭遇的瓶頸息息相關(guān)：隨著人工智能尤其是機(jī)器學(xué)習(xí)的興起，現(xiàn)實(shí)世界對(duì)計(jì)算的速度及性能要求也越來(lái)越高，不同的編程語(yǔ)言由于自身的局限性難以兼顧，例如說(shuō)，在 Julia 誕生之前，很多人不得不把同樣的程序進(jìn)行多次處理：首先使用 Python 或 R 這樣的語(yǔ)言來(lái)開(kāi)發(fā)一種算法，并通過(guò)這些語(yǔ)言制作圖表，然后再用 C++或 Java 改寫(xiě)程序，以獲得更好的計(jì)算機(jī)處理性能。

突破這種瓶頸無(wú)疑有兩個(gè)方向，一是基于現(xiàn)有編程語(yǔ)言進(jìn)行優(yōu)化，二是“將革命進(jìn)行到底”——專(zhuān)門(mén)開(kāi)發(fā)一門(mén)新語(yǔ)言。后者自然成本更高。

Julia 的開(kāi)發(fā)人員顯然選擇了后者，而且他們的野心不?。篔ulia 被專(zhuān)門(mén)設(shè)計(jì)為用于快速運(yùn)行基礎(chǔ)數(shù)學(xué)，這正是大多數(shù)數(shù)據(jù)科學(xué)的基礎(chǔ)，如矩陣表達(dá)式和線性代數(shù)。

它的誕生可追溯到 2009 年。當(dāng)時(shí)，正是基于對(duì)現(xiàn)有編程語(yǔ)言的“不滿”，麻省理工學(xué)院?jiǎn)?dòng)了一個(gè)新型編程語(yǔ)言開(kāi)發(fā)計(jì)劃，到了 2012 年的時(shí)候，這個(gè)計(jì)劃有了初步的成果，也就是如今的 Julia。

圖 | 麻省理工學(xué)院 Julia 實(shí)驗(yàn)室（來(lái)源：Julia 實(shí)驗(yàn)室官網(wǎng)）

具體而言，Julia 項(xiàng)目由麻省理工學(xué)院教授Alan Edelman領(lǐng)導(dǎo)，另外幾位關(guān)鍵創(chuàng)造者則包括Jeff Bezanson（“Julia”名字來(lái)自于 Bezanson 的一個(gè)舊項(xiàng)目）、Stefan Karpinski 和 Viral Shah。其大部分關(guān)鍵發(fā)展成果都來(lái)自麻省理工學(xué)院的 Julia 實(shí)驗(yàn)室，也有超過(guò) 700 名志愿者參與了 1.0 版本的制作。

“我們想開(kāi)發(fā)一種開(kāi)源的編程語(yǔ)言，我們希望這門(mén)語(yǔ)言有 C 語(yǔ)言一樣的速度、R 語(yǔ)言一樣的靈活性，有同像性（homoiconicity）, 有像 Lisp 語(yǔ)言那樣擁有真正的宏特性，但是也像 Matlab 一樣有易于理解、被人所熟悉的數(shù)學(xué)標(biāo)記。我們希望它像 Python 一樣易用，像 R 語(yǔ)言一樣適用于統(tǒng)計(jì)，像 Perl 一樣適用于字符串處理，處理線性代數(shù)像 Matlab 一樣強(qiáng)大，像 DOS 命令一樣擅長(zhǎng)粘合程序。這似乎看起來(lái)簡(jiǎn)單易學(xué)，但是想要讓黑客樂(lè)意去迎合它卻不是簡(jiǎn)單之事。我們希望它具有互動(dòng)性且能夠被編譯”，在《Why we created Julia》這篇文章中，Julia 團(tuán)隊(duì)如此解釋他們開(kāi)發(fā)這個(gè)語(yǔ)言的初衷。

圖丨Viral Shah（來(lái)源：DT 君）

Viral Shah 也曾經(jīng)表示：“如果你是一名數(shù)學(xué)家、科學(xué)家或者工程師，你可以選擇一種速度快的語(yǔ)言，比如 C++或 Java，又或是任意一種容易學(xué)習(xí)的語(yǔ)言，比如 Matlab，R，或 Python，所以我們創(chuàng)造了 Julia 這種又快又便捷的語(yǔ)言?！比缃瘢呀?jīng)成為 Julia Computing 公司的 CEO，該公司致力于幫助其他公司使用 Julia 語(yǔ)言。

當(dāng)然，Julia 的問(wèn)世，除了讓人感慨 IT 行業(yè)發(fā)展之快、推陳出新之迅猛，另一方面也向所有人提出了一個(gè)新的問(wèn)題：我究竟要不要學(xué)習(xí)這門(mén)新語(yǔ)言。這個(gè)問(wèn)題將非常重要，就像 Y-Combinator 的聯(lián)合創(chuàng)始人 Paul Graham 所說(shuō)的，“當(dāng)你可以選擇你要用的編程語(yǔ)言時(shí)，不使用最強(qiáng)的那一種將是一個(gè)錯(cuò)誤”。

近日，DT 君獨(dú)家采訪了上文提到的 Julia 開(kāi)發(fā)團(tuán)隊(duì)的四位創(chuàng)始人員。Julia 能否成為主流編程語(yǔ)言，以及它是否值得學(xué)習(xí)，許多關(guān)于 Julia 的疑問(wèn)，或許你能從創(chuàng)始團(tuán)隊(duì)的回答中找到答案。

圖丨Alan Edelman（來(lái)源：麻省理工學(xué)院官網(wǎng)）

一、在團(tuán)隊(duì)看來(lái)，Julia 語(yǔ)言的核心創(chuàng)新點(diǎn)是什么？

開(kāi)發(fā)一種基于多分派（Multiple dispatch）的語(yǔ)言。在最初的一段時(shí)間里，我們并不 100% 清楚怎么做。多方法和外部調(diào)度看起來(lái)很酷，但我們不清楚它們有多么有用和強(qiáng)大。

重視多分派特性改變了我們編程語(yǔ)言的編程方式。這是一件很奇怪的事情，因?yàn)楫?dāng)人們問(wèn)“多重調(diào)度有什么了不起？”時(shí)，很難具體回答有什么特別的地方，但是一旦你習(xí)慣了這種特性，就很難回頭了。

除了高性能，Julia 還有一些與眾不同的特性。例如，Julia 能夠訪問(wèn)異常廣泛的編程堆棧。你可以以良好的性能操作比特和字節(jié)（并查看匯編代碼），同時(shí)也可以處理高階函數(shù)、設(shè)計(jì)宏定義、進(jìn)行面向?qū)ο缶幊?，所有這一切都可以很好地融合在一起。剝離這些層也很容易。為完成不同任務(wù)，人們經(jīng)常需要轉(zhuǎn)換語(yǔ)言。Julia 程序員對(duì)不同的任務(wù)或許使用的技術(shù)和樣式不同，但完全可以使用相同的語(yǔ)言（即 Julia）。

二、在 Julia 的開(kāi)發(fā)過(guò)程中，哪一部分投入的精力最多？有什么遵循的標(biāo)準(zhǔn)嗎？

設(shè)計(jì)并搞清楚內(nèi)部的工作原理總是最花時(shí)間的。

開(kāi)發(fā)好的編程語(yǔ)言的關(guān)鍵是設(shè)計(jì)一組簡(jiǎn)單、強(qiáng)大的原語(yǔ)，能夠很好地執(zhí)行，然后根據(jù)這些原語(yǔ)定義所需的大部分功能。在語(yǔ)言開(kāi)發(fā)的早期，添加許多“內(nèi)置”結(jié)構(gòu)似乎是個(gè)好主意，但在編寫(xiě)優(yōu)化編譯器時(shí)，這些結(jié)構(gòu)可能會(huì)帶來(lái)很多麻煩。用一種語(yǔ)言本身編寫(xiě)該語(yǔ)言的標(biāo)準(zhǔn)庫(kù)既有利于性能（從長(zhǎng)遠(yuǎn)來(lái)看），也可以提供寶貴的使用語(yǔ)言的經(jīng)驗(yàn)，這些經(jīng)驗(yàn)又可以反饋到語(yǔ)言的設(shè)計(jì)中。當(dāng)一個(gè)函數(shù)運(yùn)行得太慢時(shí)，我們會(huì)去看檢查一下是否可以改進(jìn)編譯器讓函數(shù)運(yùn)行得更快。反復(fù)如此，我們不僅可以改善這個(gè)函數(shù)，還可以解決一系列類(lèi)似的問(wèn)題。

三、Julia 具體是如何實(shí)現(xiàn)同時(shí)具備 Python 的簡(jiǎn)單、C 語(yǔ)言的執(zhí)行速度、R 語(yǔ)言一樣的數(shù)據(jù)分析庫(kù)支持？

正如上一個(gè)問(wèn)題，簡(jiǎn)單性來(lái)自于有少量精心選擇的原語(yǔ)。自動(dòng)垃圾收集（一種計(jì)算機(jī)內(nèi)存管理手段）對(duì)語(yǔ)言的可用性也有很大的貢獻(xiàn)，這一點(diǎn)在編程語(yǔ)言領(lǐng)域已經(jīng)是很久以來(lái)的共識(shí)了。

為提高速度，我們研究了所有使大多數(shù)動(dòng)態(tài)語(yǔ)言變慢的因素，并仔細(xì)考慮了哪些因素可以消除。例如，動(dòng)態(tài)語(yǔ)言通常允許數(shù)組元素和對(duì)象字段保存任何類(lèi)型的值。然而，研究表明，即使在這些語(yǔ)言中，具有常量類(lèi)型的同構(gòu)數(shù)組和字段也非常普遍。因此，設(shè)計(jì) Julia 利用了這一點(diǎn)，更容易添加類(lèi)型限制，并在任何可能的情況下默認(rèn)使用類(lèi)型統(tǒng)一的集合。

四、Julia 目前宣稱(chēng)和 C 語(yǔ)言一樣快。但是否在所有情況下都是這么快？還是只在數(shù)據(jù)處理的時(shí)候和 C 一樣快？和目前主流語(yǔ)言如 Python、C 等的兼容性如何？

是的，對(duì)于大多數(shù)用例，Julia 可以和 C 一樣快。不過(guò)必須注意避免過(guò)度的內(nèi)存分配，并確保代碼是類(lèi)型穩(wěn)定的。Julia 提供了各種各樣的工具，編程者無(wú)需花費(fèi)太多精力就可以編寫(xiě)高性能的像 C 一樣快的代碼。

調(diào)用 C 和 Fortran 在 Julia 中是本地的——甚至不需要提供編譯器。可以運(yùn)行下面的代碼完成調(diào)用：

julia> ccall(:clock, Int32, ())

2539697

同樣，Cxx.jl 使得調(diào)用 C++庫(kù)、模板等變得非常容易。我們可以通過(guò) PyCall.jl 和 RCall.jl 這樣的集成接口調(diào)用 Python 和 R。反過(guò)來(lái)，Python 和 R 通過(guò)調(diào)用 PyJulia 和 RJulia 包來(lái)調(diào)用 Julia 語(yǔ)言。JavaCall.jl 可以讓 Julia 調(diào)用 Java。我們也有一個(gè)干凈清晰的嵌入編程接口，讓任何其他語(yǔ)言都很容易地調(diào)用 Julia。

五、從實(shí)際應(yīng)用來(lái)說(shuō)，Julia 已經(jīng)用于自動(dòng)駕駛汽車(chē)、機(jī)器人和 3D 打印機(jī)，此外還廣泛應(yīng)用于精準(zhǔn)醫(yī)療、增強(qiáng)現(xiàn)實(shí)、基因組學(xué)及風(fēng)險(xiǎn)管理。那么 Julia 語(yǔ)言本身適合什么應(yīng)用? 團(tuán)隊(duì)有沒(méi)有自己特別看好的一個(gè)實(shí)際應(yīng)用方向？為什么？

我們一直致力于構(gòu)建一種通用語(yǔ)言，這種語(yǔ)言對(duì)于所有形式的數(shù)學(xué)計(jì)算都有很好的抽象。因此，看到各種各樣領(lǐng)域應(yīng)用的蓬勃發(fā)展比看到任何一個(gè)特定應(yīng)用的蓬勃發(fā)展更讓我們興奮。

（來(lái)源：Julia 官網(wǎng)）

六、目前 Julia 語(yǔ)言主打科學(xué)計(jì)算，下載者包括谷歌、Facebook 和美國(guó)能源部等各個(gè)部門(mén)的開(kāi)發(fā)者。未來(lái)，Julia 是否會(huì)擴(kuò)展其目標(biāo)人群，用于更多面向?qū)ο蟪绦蛟O(shè)計(jì)？公布了 1.0 以后，有沒(méi)有來(lái)自一些用戶的收獲或反饋？

Julia 的目標(biāo)受眾在過(guò)去幾年里每 9 個(gè)月就會(huì)翻一番。我們認(rèn)為，多分派、通用函數(shù)和專(zhuān)門(mén)化的語(yǔ)言特性是為該語(yǔ)言的用戶精心設(shè)計(jì)的。

Julia 在 GitHub 上已經(jīng)收到了超過(guò) 700 名開(kāi)發(fā)者的貢獻(xiàn)。許多人貢獻(xiàn)超過(guò) 2000 個(gè)包。我們估計(jì)大約有 30 名核心開(kāi)發(fā)人員對(duì) Julia 語(yǔ)言本身貢獻(xiàn)了大量工作。

在用戶方面，Julia 的下載量超過(guò) 200 萬(wàn)次。作為一種開(kāi)放源碼語(yǔ)言，很難將這個(gè)數(shù)字轉(zhuǎn)換為真實(shí)用戶數(shù)量。此外，在 Julia Computing 方面，我們看到來(lái)自 700 所大學(xué)和 1000 多家公司的用戶下載或使用了 Julia。Julia1.0 非常受歡迎，語(yǔ)言社區(qū)會(huì)追求長(zhǎng)期穩(wěn)定，每個(gè)人都為此感到興奮。我們也受到非常多的反饋，有中文的也有英文的。對(duì)于 1.0，在考慮添加新特性之前，我們將關(guān)注長(zhǎng)期穩(wěn)定性。

七、團(tuán)隊(duì)目前對(duì) Julia 在商業(yè)項(xiàng)目應(yīng)用上有何計(jì)劃？

所有 Julia 的創(chuàng)建者都聚集在一起，形成了遵循開(kāi)源商業(yè)模式的 Julia Computing 公司。Julia Computing 公司的產(chǎn)品已經(jīng)被成千上萬(wàn)的用戶下載，JuliaBox 被廣泛用于 Julia 的教學(xué)。

此外，Julia Computing 為許多企業(yè)提供開(kāi)發(fā)人員和生產(chǎn)支持，并為全球用戶提供培訓(xùn)和咨詢(xún)。

八、用 Julia 寫(xiě)的項(xiàng)目中，哪一個(gè)讓你們覺(jué)得印象最深刻？

最印象深刻的包是以下幾個(gè)：

用于數(shù)學(xué)優(yōu)化研究的 JuMP：

https://github.com/JuliaOpt/JuMP.jl

用于微分方程相關(guān)的 DiffEq：

http://juliadiffeq.org/

用于機(jī)器學(xué)習(xí)的 Flux：

http://fluxml.ai/

另一個(gè)用于機(jī)器學(xué)習(xí)（深度學(xué)習(xí)）的 Knet：

https://github.com/denizyuret/Knet.jl

除此之外，這些包也都非常有用：

Revise 包，真的太棒了，Tim Holy 是個(gè)天才！：

https://github.com/timholy/Revise.jl

BenchmarkTools，一個(gè)測(cè)試性能相關(guān)的包：https://github.com/JuliaCI/BenchmarkTools.jl

StaticArrays 包，這個(gè)包很可能作為標(biāo)準(zhǔn)庫(kù)：https://github.com/JuliaArrays/StaticArrays.jl

UnicodePlots 包，唯一一個(gè)到處都能可靠安裝使用的畫(huà)圖的包：https://github.com/Evizero/UnicodePlots.jl

圖丨Julia 團(tuán)隊(duì)（來(lái)源：vccircle）

九、Julia 在中國(guó)的開(kāi)發(fā)者中引起了很大的討論，但有人認(rèn)為 Julia 本身又沒(méi)有很強(qiáng)的推廣力度，可能很難有公司會(huì)將 Julia 使用在商業(yè)項(xiàng)目上，對(duì)于這種說(shuō)法團(tuán)隊(duì)怎么看？

Julia 是一種“草根”語(yǔ)言，是由真正喜歡開(kāi)發(fā)和使用它的人開(kāi)發(fā)出來(lái)的。也許將來(lái)一些更大的公司會(huì)采用它——但我們認(rèn)為這不是成功的必要條件。Python、PHP、Perl、Ruby、Lua 等語(yǔ)言都不是由任何組織推動(dòng)的。至少?gòu)哪壳皝?lái)說(shuō)，它是由社區(qū)開(kāi)發(fā)的，這也是它能吸引用戶的原因。

十、Julia 的野心很大，想要集成多種語(yǔ)言的優(yōu)點(diǎn)，規(guī)避掉這些語(yǔ)言不足的地方。不過(guò)一個(gè)語(yǔ)言是否值得我們學(xué)習(xí)，還要看它的學(xué)習(xí)氛圍、市場(chǎng)環(huán)境以及具體適用的場(chǎng)景，目前團(tuán)隊(duì)認(rèn)為 Julia 在這些方面還存在哪些不足？現(xiàn)階段最大的挑戰(zhàn)是什么？下一個(gè)版本計(jì)劃將優(yōu)先解決哪些問(wèn)題？

近期我們一直在努力的方向是提升編譯器的效率。

開(kāi)發(fā)一種具有高度抽象并且能夠在各種硬件上工作的快速語(yǔ)言的時(shí)機(jī)已經(jīng)成熟。我們將關(guān)注當(dāng)前特性的穩(wěn)定性，但也會(huì)添加新特性。

一個(gè)主要考慮的特性是多線程。雖然我們今天已經(jīng)有了多線程功能，但它還不能以一種每一個(gè)庫(kù)和用戶代碼都可以并行的方式進(jìn)行組合（很少有語(yǔ)言有這種情況）。英特爾的 Kiran Pamnany 已經(jīng)發(fā)出了拉取請(qǐng)求（pull request），要求實(shí)現(xiàn)這一目標(biāo)。我們還將關(guān)注我們的 GPU 支持、谷歌的 TPU 和各種新硬件。此外，將來(lái)還會(huì)有相當(dāng)多的人關(guān)注開(kāi)發(fā)工具。

十一、團(tuán)隊(duì)心目中最理想的科學(xué)計(jì)算語(yǔ)言是什么樣的？

我們還有很多事情還需要去做。在硬件方面，在最大的超級(jí)計(jì)算機(jī)上工作、在 GPU 上工作對(duì)于大型科學(xué)應(yīng)用是必不可少的。機(jī)器學(xué)習(xí)應(yīng)用程序正在驅(qū)動(dòng)硬件的發(fā)展，這將給軟件開(kāi)發(fā)人員帶來(lái)許多挑戰(zhàn)。在 ARM 處理器和嵌入式硬件上運(yùn)行 Julia 對(duì)于設(shè)備部署也是至關(guān)重要的，因?yàn)闄C(jī)器學(xué)習(xí)算法在物聯(lián)網(wǎng)應(yīng)用程序上也越來(lái)越常見(jiàn)了。

多線程目前也是一個(gè)尚未解決的問(wèn)題，對(duì)科學(xué)用例的可組合性還未能讓人滿意。這是我們希望在不久的將來(lái)解決的問(wèn)題，設(shè)計(jì)基于 Cilk 編譯器。

Julia 創(chuàng)建者將來(lái)華，出席 EmTech China

人們總是希望使用更簡(jiǎn)單的工具實(shí)現(xiàn)越來(lái)越復(fù)雜的任務(wù)，而現(xiàn)在，我們?cè)诰幊陶Z(yǔ)言方面有了更多的選擇，那么要使用哪一種語(yǔ)言處理任務(wù)，就交給了各位使用者。但是在此之前，你或許有興趣親身聆聽(tīng) Julia 創(chuàng)建者之一兼 Julia Computing 的 CEO Viral Shah 博士更多的分享。

Viral Shah 博士畢業(yè)于加州大學(xué)圣塔芭芭拉分校的計(jì)算機(jī)科學(xué)專(zhuān)業(yè)，是 Julia 項(xiàng)目的共同創(chuàng)建者之一，也是 Julia Computing 的聯(lián)合創(chuàng)始人兼 CEO。

他在構(gòu)建開(kāi)源軟件方面經(jīng)驗(yàn)頗豐。除了 Julia，他還是 Circuitscape 的作者之一。Circuitscape 是一個(gè)開(kāi)源程序，借用了電子電路理論中的一些算法。

他也曾是印度國(guó)家身份證項(xiàng)目 Aadhaar 的早期成員之一，他重新架構(gòu)了印度的國(guó)家社保系統(tǒng)，其所覆蓋的社會(huì)群體，及其相應(yīng)的待遇得到明顯提高，同時(shí)避免了大量的財(cái)政流失。