如果把所有編程語言好用特性都“揉一起”，會(huì)怎樣？居然真有人做了：已投入生產(chǎn)

java 的synchronized、try catch、xxx ? yyy: zzz；

python 的yyy if xxx else zzz、range；

golang 的go、defer、chan；

js 的map、sort、`xxx${yyy}zzz`、e=>；

不僅如此，兼容大部分語法包括 Golang、Python、JavaScript和Java；

既可以使用 ； 明確表示一行語句結(jié)束，也支持大多數(shù)場(chǎng)景智能自動(dòng)分行；

可以在語句中適當(dāng) 增加空格 使得程序更容易閱讀；

容易學(xué)習(xí)的 指針 ；

如果把這些好用的功能都“揉在一起”會(huì)如何？日前，筆者便發(fā)現(xiàn)了這樣一個(gè)網(wǎng)站（z1h.org），提供這樣的語言的下載。

（圖：網(wǎng)站信息截圖）

根據(jù)作者的介紹，Z1h 是一門跨平臺(tái)編程語言, 它能輕松開發(fā)各種應(yīng)用程序或服務(wù)接口。

Z1h從2019年國慶期間由曾威人開發(fā),并于2020年對(duì)外發(fā)布了包含Windows、mac OS、Linux、Android、iOS、WebAssembly、樹莓派等平臺(tái)的v1.0.0發(fā)行版。

這款語言語法由諸多其他語言發(fā)展而來, 包括Go、Java、JavaScript、Python等等。而解釋器則由Go實(shí)現(xiàn)(Rust版本正在開發(fā)中)。

作者強(qiáng)調(diào)，對(duì)于許多領(lǐng)域而言, Z1h 語言無疑比大多數(shù)其它語言有著更高的開發(fā)效率. 它提供了靈活的開發(fā)語法以及海量并行的支持, 這尤其對(duì)于想要快速開發(fā)http服務(wù)后端的團(tuán)隊(duì)和個(gè)人而言是再好不過了。

對(duì)初級(jí)程序員而言, 是一種偉大的語言, 它支持廣泛的應(yīng)用程序開發(fā), 從簡(jiǎn)單的文字處理到http服務(wù)再到游戲。

據(jù)作者在知乎上表示，這款語言已經(jīng)在其公司用在了生產(chǎn)環(huán)境。

01
很多人也暢想過這種語言

知乎上有網(wǎng)友提問“如果你們想要自創(chuàng)一個(gè)編程語言，你們希望它有什么特色?”，便擁有這樣的暢想。

當(dāng)然，這種問題之前也有人曾經(jīng)解答過，大概意思就是各個(gè)程序在一些功能實(shí)現(xiàn)上并不盡相同。

因?yàn)槠鋵?shí)不同編程語言之間的理念很多是矛盾的，但是又都有它們擅長(zhǎng)的場(chǎng)合。簡(jiǎn)單的舉例子，編譯型語言在編譯期間檢查數(shù)據(jù)類型，因?yàn)檫@樣可以生成最優(yōu)的代碼，但是這樣會(huì)造成不同類型間瑣碎的轉(zhuǎn)換問題；解釋型語言在執(zhí)行期根據(jù)上下文自動(dòng)判斷類型，這樣寫代碼就簡(jiǎn)單了，可是效率又不行了。

當(dāng)然，從上面所舉的Z1h語言說起，其實(shí)在功能方面，并非一股腦的整合。

有人表示，加入冗余的功能容易產(chǎn)生副作用。不過Z1h的作者對(duì)這款語言的評(píng)價(jià)是，不管穩(wěn)不穩(wěn)定，至少在公司上已經(jīng)實(shí)現(xiàn)應(yīng)用了。

02
還想要什么樣的其他編程語言

值得一提的是，還有人表示希望能夠有一款語言能夠方便使用異構(gòu)編程，對(duì)多核CPU、GPU以及各種SIMD指令，及其所對(duì)應(yīng)的內(nèi)存顯存系統(tǒng)進(jìn)行抽象，讓語言的使用者，不再需要關(guān)注(或者至少不需要過度關(guān)注)計(jì)算機(jī)的底層，編譯器實(shí)現(xiàn)由編程語句到處理器硬件指令的轉(zhuǎn)換。

縱觀行業(yè)，在摩爾定律放緩，登納德縮放比例定律和阿姆達(dá)爾定律接近瓶頸下，CPU單兵作戰(zhàn)并不能滿足計(jì)算要求，因此出現(xiàn)了CPU+FPGA、CPU+GPU、CPU+ASIC的這種異構(gòu)計(jì)算。而英特爾推出的超算計(jì)算機(jī)，也是CPU+GPU+FPGA形式。

因此，網(wǎng)友所描述的這種需求，其實(shí)是具有著相當(dāng)實(shí)用性的。雖然FPGA廠商們正在努力讓程序員們只用一個(gè)C就能編好一切，但還缺乏一種語言能夠?qū)崿F(xiàn)這種功能。

還有網(wǎng)友，還奇思妙想“一款A(yù)I智能編寫語言”。不過，這種大膽的想法并不是什么癡人說夢(mèng)。

早在之前，谷歌的首席執(zhí)行官桑達(dá)爾·皮查伊(Sundar Pichai)就談到了“自動(dòng)編寫自己”的軟件。根據(jù)他的說法，軟件1.0時(shí)代一切皆由人類碼指導(dǎo)計(jì)算機(jī)，但到了軟件2.0時(shí)代，擁有深度學(xué)習(xí)、神經(jīng)網(wǎng)絡(luò)的計(jì)算機(jī)只需命令便可自己編寫自己。

當(dāng)然，懂得中文的AI，或許在后臺(tái)代碼也將變?yōu)榧冎形?。一名Google的高級(jí)軟件工程師/技術(shù)主管便“發(fā)明了”一款文言文編程（https://github.com/wenyan-lang/wenyan），萬能的define被他玩出了花兒。

03
編程語言都是怎么來的

手工開關(guān)階段

早期的計(jì)算機(jī)程序員，大多數(shù)是女性手工進(jìn)行開關(guān)切換你敢信？

我們都知道計(jì)算機(jī)內(nèi)部是二進(jìn)制的，而那時(shí)候便是使用這種簡(jiǎn)單暴力的方式，用電路的高低電平來代表“0”和“1”的。

計(jì)算機(jī)有一個(gè)很大的操作空間，通過控制橫豎排列的開關(guān)，就能完成一組對(duì)應(yīng)的運(yùn)算。計(jì)算完成后，通過觀察輸出設(shè)備（就是一些燈泡）的亮（1）和滅（0），再進(jìn)行一層轉(zhuǎn)化，就是結(jié)果啦。

穿孔打卡時(shí)代

手工開關(guān)要求程序員坐在終端前操作，非常不方便。美國人赫爾曼·霍爾瑞斯(Herman Hollerith)在1880年進(jìn)行人口普查工作時(shí)，發(fā)明了基礎(chǔ)的利用穿孔卡片收集和整理數(shù)據(jù)的系統(tǒng)。

其實(shí)早在18世紀(jì)20年代，法國紡織工人魯修(Basile Bouchon)使用了一套計(jì)算機(jī)器能讀出的穿孔卡片。1835年，一位名叫查爾斯·巴貝奇(Charles Babbage)的英國人發(fā)明了他稱作“分析機(jī)”(Analytical Engine)的工具，這種“分析機(jī)”運(yùn)行的原理和現(xiàn)代數(shù)字計(jì)算機(jī)是一樣的。巴貝奇設(shè)想用分析機(jī)進(jìn)行任何可以儲(chǔ)存在穿孔卡上指令進(jìn)行數(shù)學(xué)運(yùn)算。分析機(jī)會(huì)有一定內(nèi)存，用來存儲(chǔ)數(shù)據(jù)。不幸的是，這樣的分析機(jī)的大小和火車頭差不多，而巴貝奇從未能夠從英國政府得到足夠的財(cái)政支持來制造這樣的機(jī)器。

將開關(guān)需要的狀態(tài)提前在一張卡紙上描述出來，卡被穿孔或不穿孔就對(duì)應(yīng)開關(guān)的開或關(guān)狀態(tài)。

然后用一個(gè)機(jī)器讀取卡紙的指令，再送到計(jì)算機(jī)。之后還有輸出也通過穿孔打卡，程序員拿到輸出的卡紙，再進(jìn)行翻譯。這時(shí)候的編程雖然已經(jīng)方便了很多，仍然很繁瑣。程序員需要自己做二進(jìn)制翻譯，才能完成跟計(jì)算機(jī)的對(duì)話。

第一個(gè)編譯器（翻譯器）的誕生

早期的程序員主要是女性，暫且認(rèn)為這事兒太需要精細(xì)操作，五大三粗的男性干不來。而這世上從來不缺偉大的女性！

Grace Hopper姐姐被安排為美國的第一臺(tái)通用計(jì)算機(jī)馬克一號(hào)（Mark I）做程序設(shè)計(jì)，并在二戰(zhàn)后加入U(xiǎn)NIVAC開發(fā)團(tuán)隊(duì)。這位姐姐覺得每天去讀寫機(jī)器碼太無聊，她開始研究使用接近英文寫作的方式來編寫程序，并四處尋求經(jīng)費(fèi)，終于發(fā)明了第一個(gè)編譯器A-0。編譯器本身就是一個(gè)用機(jī)器語言編寫的軟件系統(tǒng)，它能夠把英文程序翻譯成二進(jìn)制機(jī)器代碼，這樣完美替代了程序員最不愛做的低級(jí)部分。

從此以后，編程語言從低級(jí)向高級(jí)發(fā)展的腳步越來越快。隨著計(jì)算機(jī)硬件的飛速發(fā)展，一代又一代充滿智慧不斷追求高效的計(jì)算機(jī)科學(xué)家們開發(fā)出各種高級(jí)語言，將更為底層的操作標(biāo)準(zhǔn)化封裝起來。編程開始普及，因?yàn)楦呒?jí)語言非常接近人類的自然語言，甚至不需要了解計(jì)算機(jī)的底層原理就可以去完成自己想要的程序。于是乎，還出現(xiàn)了各種圖形化編程，比如Scratch和AppInventor。

編程語言都是互相借鑒的

不同的編程語言有不同的語法和特性，但它們都是圖靈完備的。通俗地說就是：所有的編程語言都可以用來實(shí)現(xiàn)任意一種算法。

任何語言都是各種語言特征的集合。例如，編程語言就像一臺(tái)計(jì)算機(jī)。其品牌可能是IBM、戴爾或蘋果。但是，你能說蘋果的電腦就一定比IBM好嗎？不能。首先你必須了解計(jì)算機(jī)的配置，例如處理器型號(hào)、內(nèi)核數(shù)量、CPU的時(shí)鐘頻率、一級(jí)緩存、二級(jí)緩存……，內(nèi)存和硬盤，顯示分辨率，還有顯卡、網(wǎng)卡等等。有時(shí)你還需了解每個(gè)硬件的兼容性。

幾乎所有的編程語言都包含了幾類元素，它們都與“抽象”有關(guān)：

數(shù)據(jù)類型和數(shù)據(jù)抽象；

控制流程和控制抽象；

底層抽象；

對(duì)特定領(lǐng)域的補(bǔ)充和抽象。

編程語言有很多公共特性，因此，我們能夠?qū)W會(huì)所有編程語言的主要原因是：編程語言的概念其實(shí)是很有限的。常用的編程語言概念不會(huì)超過 15 個(gè)：

過程；

遞歸；

靜態(tài)類型；

動(dòng)態(tài)類型；

類型推斷；

lambda 表達(dá)式；

面向?qū)ο螅?br>

垃圾回收；

指針；

連續(xù)性；

元編程；

宏；

異常。

編程語言的概念基本上是不怎么變的，就像設(shè)計(jì)原則一樣。

編程語言的作者們相互借鑒想法，只是實(shí)現(xiàn)不一樣罷了。有時(shí)候，我們可以說語言 C 是語言 A 和 B 的兒子，那么整個(gè)編程語言的家譜可能像這樣：

當(dāng)然，在《 48歲的C語言，你知道它背后的歷史嗎？ 》中，嵌入式ARM曾經(jīng)深入講解了C語言是如何從B語言中衍生出來的。

早期的C語言編譯器采取了一個(gè)取巧的辦法：先用匯編語言編寫一個(gè)C語言的一個(gè)子集的編譯器，再通過這個(gè)子集去遞推完成完整的C語言編譯器。

到現(xiàn)在，有著無數(shù)的編程語言，當(dāng)然上文所介紹的這款語言，應(yīng)該是作者理想中的完美語言。

每一門編程語言仍然還是有自己的優(yōu)點(diǎn)和不足。適合用來處理所有任務(wù)的編程語言是不存在的。不過這款工具在實(shí)際生產(chǎn)和應(yīng)用中，或許也是一個(gè)不錯(cuò)的選擇。

你怎么看待這款語言呢？

-END-

推薦閱讀

【01】C語言為何不會(huì)過時(shí)？你需要掌握多少種語言？

【02】C語言最大難點(diǎn)揭秘：編程的禍根！

【03】經(jīng)典：C語言在嵌入式系統(tǒng)編程時(shí)的注意事項(xiàng)

【04】從1985年到2020年，編程語言排行有哪些變化？

【05】工程師精華帖：C 語言表驅(qū)動(dòng)法編程實(shí)踐

免責(zé)聲明：整理文章為傳播相關(guān)技術(shù)，版權(quán)歸原作者所有，如有侵權(quán)，請(qǐng)聯(lián)系刪除