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

時間：2020-05-19 23:44:23

關鍵字：編程語言程序員 CPU 編寫

手機看文章

掃描二維碼
隨時隨地手機看文章

[導讀]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；既可以使用；明確表示一

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；

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

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

容易學習的 指針；

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

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

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

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

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

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

對初級程序員而言, 是一種偉大的語言, 它支持廣泛的應用程序開發(fā), 從簡單的文字處理到http服務再到游戲。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

03
編程語言都是怎么來的

手工開關階段

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

我們都知道計算機內部是二進制的，而那時候便是使用這種簡單暴力的方式，用電路的高低電平來代表“0”和“1”的。

計算機有一個很大的操作空間，通過控制橫豎排列的開關，就能完成一組對應的運算。計算完成后，通過觀察輸出設備（就是一些燈泡）的亮（1）和滅（0），再進行一層轉化，就是結果啦。

穿孔打卡時代

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

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

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

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

第一個編譯器（翻譯器）的誕生

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

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

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

編程語言都是互相借鑒的

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

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

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

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

控制流程和控制抽象；

底層抽象；

對特定領域的補充和抽象。

編程語言有很多公共特性，因此，我們能夠學會所有編程語言的主要原因是：編程語言的概念其實是很有限的。常用的編程語言概念不會超過 15 個：

過程；

遞歸；

靜態(tài)類型；

動態(tài)類型；

類型推斷；

lambda 表達式；