近期在倫敦召開(kāi)的 FullStack大會(huì) 上， Brendan Eich 和 Douglas Crockford 分別做演講探討了JavaScript的未來(lái)。Eich是JavaScript的創(chuàng)建者；Crockford是JSON的創(chuàng)建者，也是《JavaScript語(yǔ)言精粹》（“JavaScript: The Good Parts”）一書(shū)的作者。Eich的大會(huì)演講主要聚焦于一些需迭代改進(jìn)的語(yǔ)言特性。Crockford引導(dǎo)聽(tīng)眾聚焦于JavaScript軟件工程的下一步發(fā)展，他稱(chēng)之為一種全球分布的、安全的異步編程模式。

Crockford指出，包括JavaScript在內(nèi)的所有編程語(yǔ)言目前都停滯于舊架構(gòu)中，即單機(jī)的單地址空間中，這造成了一些不必要的麻煩。但是由于JavaScript在函數(shù)和對(duì)象上實(shí)現(xiàn)的一些有意義的探索，Crockford相信相比其它語(yǔ)言，JavaScript要更有益于推進(jìn)架構(gòu)的轉(zhuǎn)變。

Eich提及在創(chuàng)建JavaScript中的最大遺憾，就是在語(yǔ)言初次發(fā)布后不久就立刻對(duì)用戶(hù)有求必應(yīng)，而不是考慮如何更好地解決用戶(hù)的問(wèn)題。例如，12==’12’是使用相等運(yùn)算符“==”做強(qiáng)制類(lèi)型轉(zhuǎn)換，以便于處理通過(guò)HTTP將數(shù)據(jù)推送到服務(wù)器。

Crockford指出，JavaScript語(yǔ)言面臨著一個(gè)問(wèn)題，它可能過(guò)分關(guān)注“整形手術(shù)缺陷”的修修補(bǔ)補(bǔ)，而不是清楚地指明未來(lái)的改進(jìn)方向。

與十年前相比，我認(rèn)為語(yǔ)言中好的部分更少了，但是這些部分也做得更好了。

Eich介紹了多年來(lái)JavaScript語(yǔ)言的改進(jìn)情況，以及其中一些煥發(fā)了新活力的舊特性。例如，盡管E4X從未被JavaScript接受，但JSX，即“剔除了不好的XML部分的E4X”，卻深受React用戶(hù)的喜愛(ài)。

在本次演講中，Eich重點(diǎn)強(qiáng)調(diào)了asm和WebAssembly的價(jià)值。asm.js源自JavaScript靜態(tài)類(lèi)型子集，實(shí)行以接近本機(jī)速度運(yùn)行源代碼。達(dá)到如此的性能改進(jìn)，是因?yàn)閍sm支持從即刻編譯（JIT）切換到預(yù)先編譯（AOT），直接從抽象語(yǔ)法樹(shù)（AST）轉(zhuǎn)換為機(jī)器代碼生成。

WebAssembly是一種加載更快的、采用更廣泛的asm.js版本。盡管WebAssembly仍然是同一JavaScript虛擬機(jī)的組成部分，但是它用單獨(dú)的進(jìn)程運(yùn)行，因此它可以具有比JavaScript更具表現(xiàn)力的語(yǔ)法。

Eich特別介紹了一些令他非常興奮的特性，這些特性最早可于明年出現(xiàn)在JavaScript中。包括：

TC39 BigInt：一種新的值類(lèi)型，用于處理任意精度的整數(shù)，bigness提供對(duì)TypeArrays的支持。 動(dòng)態(tài)import()：默認(rèn)情況下，ES模塊是靜態(tài)導(dǎo)入的。動(dòng)態(tài)導(dǎo)入還支持預(yù)取（prefetching）。 Array.prototype.flat/flatMap：實(shí)現(xiàn)任意數(shù)組的展平，它是實(shí)現(xiàn)展平和smooshgate的解決方案。 更多的解析操作：用于任意對(duì)象和數(shù)組。 類(lèi)中的私有方法和訪(fǎng)問(wèn)器：在Eich看來(lái)，符號(hào)前綴“#”稍具爭(zhēng)議，不應(yīng)再使用。 異步迭代：用于await語(yǔ)法。 正則表達(dá)式上的一些改進(jìn)。

更多建議及細(xì)節(jié)內(nèi)容，參見(jiàn) TC39建議的完整列表 。

Crockford在演講中花了一些時(shí)間，質(zhì)疑了聽(tīng)眾的一些深層假設(shè)，并提出這些假設(shè)是如何影響大家的進(jìn)步的。例如，計(jì)數(shù)是否應(yīng)采用從“0”開(kāi)始，還是從“1”開(kāi)始？Crockford解釋了為什么他認(rèn)為一切都應(yīng)該從“0”開(kāi)始。

Crockford指出，缺乏正確的尾調(diào)用和尾調(diào)用優(yōu)化（ tail call optimization ）his目前為止在ES2015實(shí)現(xiàn)中的最令人失望之處。當(dāng)前只有Safari實(shí)現(xiàn)了該部分規(guī)范。據(jù)Crockford介紹，尾調(diào)用是ES2015中添加的最重要特性，它有助于支持作為迭代替代功能的尾遞歸（tail recursion），以及后續(xù)傳遞（continuation passing）。

在Crockford看來(lái)，純函數(shù)（pure functions）是語(yǔ)言未來(lái)發(fā)展中至關(guān)重要的特性。任何會(huì)影響純函數(shù)的特性，都不應(yīng)考慮在語(yǔ)言中采用。

目前JavaScript中也存在著不少Crockford不喜歡的特性，例如async/await特性。該特性有礙于開(kāi)發(fā)人員對(duì)異步編程的理解，會(huì)使異步編程看起來(lái)就像是同步。

Crockford解釋了他對(duì)簡(jiǎn)單性的看法。“標(biāo)準(zhǔn)越簡(jiǎn)單，需要達(dá)成一致之處也就越少，就越有可能實(shí)現(xiàn)互操作性”。他以JSON為例做了解釋。JSON作k為一種語(yǔ)法，它并不涉及行為，易于理解和使用。JSON的全部語(yǔ)法甚至可在一張名片背面放下。

Crockford正致力于實(shí)現(xiàn)一種稱(chēng)為“neo”的新語(yǔ)言和Transpiler（源到源編譯器）。它以一種新語(yǔ)言的形式實(shí)現(xiàn)Crockford認(rèn)可的JavaScript特性，并源到源編譯為定義良好JavaScript程序。Crockford有望于近期推出《JavaScript工作機(jī)制》（“How JavaScript Works.”）一書(shū)，介紹其中的技術(shù)細(xì)節(jié)。

在演講的問(wèn)答部分，Eich被問(wèn)及了 二進(jìn)制抽象語(yǔ)法樹(shù)（binary-ast）提案 的情況。該提案介于傳統(tǒng)JavaScript和WebAssembly之間，為所有的JavaScript提供了二進(jìn)制語(yǔ)法樹(shù)。

Eich認(rèn)為，binary-ast是一種潛在的實(shí)效（pragmatic）方法，但其優(yōu)點(diǎn)有待通過(guò)初始實(shí)施及后續(xù)性能指標(biāo)驗(yàn)證。Mozilla正在致力于初步實(shí)現(xiàn)。其潛在的風(fēng)險(xiǎn)在于它可成為另一種安全攻擊向量。此外，它會(huì)鼓勵(lì)開(kāi)發(fā)人員編寫(xiě)更大型的JavaScript代碼庫(kù)，而不是依靠工具和規(guī)則來(lái)優(yōu)化代碼庫(kù)。

當(dāng)被問(wèn)及TypeScript等類(lèi)型系統(tǒng)時(shí)，Eich認(rèn)為動(dòng)態(tài)編程有其便利性。不會(huì)對(duì)編程產(chǎn)生妨礙的類(lèi)型形態(tài)，無(wú)疑是一種好的類(lèi)型系統(tǒng)。Eich指出，“人們習(xí)慣于使用不需付出任何代價(jià)的類(lèi)型系統(tǒng)。”

TypeScript非常出色，它是JS的一個(gè)嚴(yán)格超集。每個(gè)JS程序也是一個(gè)TS程序。Anders Hejlsberg是首屈一指的。

演講中，Crockford還被問(wèn)及了一個(gè)關(guān)于TypeScript的負(fù)面問(wèn)題：“它并沒(méi)有解決我所遇到的問(wèn)題”。出現(xiàn)這一誤解的原因，在于TypeScript的主要優(yōu)點(diǎn)是幫助定義接口。Crockford曾認(rèn)定，“事情間的接口通常是產(chǎn)生錯(cuò)誤之處”，而TypeScript有助于防止出現(xiàn)此類(lèi)錯(cuò)誤。

在被問(wèn)及React之類(lèi)特性是否可以標(biāo)準(zhǔn)化時(shí)，Eich介紹了Dojo和Prototype等早期的軟件庫(kù)是如何將其概念引入到更高版本的JavaScript中的。進(jìn)而指明，“我們的工作并非去標(biāo)準(zhǔn)化React等軟件庫(kù)”，而是努力實(shí)現(xiàn)將基本原語(yǔ)從軟件庫(kù)中提升到核心語(yǔ)言中。Eich指出，過(guò)早做標(biāo)準(zhǔn)化會(huì)導(dǎo)致問(wèn)題，尤其是對(duì)于類(lèi)型系統(tǒng)等尚待時(shí)日的解決方案。

在被問(wèn)及對(duì)基于RxJS Observables的Observables提案的看法時(shí)，Eich指出，該規(guī)范目前停滯不前，要在JavaScript語(yǔ)言中構(gòu)建所需特性是一個(gè)挑戰(zhàn)，他也不確定是否應(yīng)該將Observables添加到語(yǔ)言中。他并未提及的是， 用于流的WHATWG規(guī)范 是Observables提案的一個(gè)超集。或許正是這兩個(gè)提案之間的競(jìng)爭(zhēng)，阻礙了Observables提案的推進(jìn)。

最后在被問(wèn)及對(duì)機(jī)器學(xué)習(xí)的看法時(shí)，Eich指出，盡管深度學(xué)習(xí)非常有用，但是該技術(shù)并沒(méi)有給出任何因果關(guān)系。目前的工作，只是一些高級(jí)形式的曲線(xiàn)擬合算法。

會(huì)議演講視頻免費(fèi)提供，但需要注冊(cè)。注冊(cè)是開(kāi)放的。

Eich的演講，“下一代JavaScript”（ JavaScript: The Next Generation ）； Crockford的演講，“JavaScript工作方式先睹為快”（ How JavaScript Works: A Preview ）。

查看英文原文： Eich and Crockford on the Future of JavaScript: Insight from the Creators of JavaScript and JSON

來(lái)自：http://www.infoq.com/cn/news/2018/08/eich-crockford-js-future