?

在 HN 的熱榜中，一篇題為《編程語(yǔ)言工具進(jìn)展緩慢》的文章吸引了不少網(wǎng)友的注意，其寫(xiě)道，「當(dāng)一個(gè)新工具被創(chuàng)新開(kāi)發(fā)時(shí)，較新的編程語(yǔ)言就有足夠多的機(jī)會(huì)將這種創(chuàng)新融入到他們的語(yǔ)言工具中，并使之標(biāo)準(zhǔn)化，最終讓其自身比舊語(yǔ)言更具優(yōu)勢(shì)一些。如果把這些增量逐漸累積起來(lái)，那么舊的語(yǔ)言就會(huì)顯得很痛苦和過(guò)時(shí)，甚至最終被淘汰。」

放眼編程榜單如 TIOBE，雖然排名靠前依然是我們熟悉的 Python、C、C++、Java 等語(yǔ)言，但是近日來(lái)，似乎是看到了文章伊始所述的趨勢(shì)，我們見(jiàn)證了不少劍指老牌語(yǔ)言的新編程語(yǔ)言誕生，譬如有的是一群 Go 語(yǔ)言愛(ài)好者發(fā)起的凹語(yǔ)言，也有的是來(lái)自大廠的一線員工如 Oracle 核心團(tuán)隊(duì)成員創(chuàng)建的 Vely，還有的是科技巨頭如 Google 自身研發(fā)的 Carbon。

接下來(lái)，我們將與大家一起了解一下最新誕生的編程語(yǔ)言，看其能否填補(bǔ)老牌語(yǔ)言們留下的遺憾。

?

國(guó)內(nèi) Gopher?發(fā)起的「凹語(yǔ)言」

凹語(yǔ)言（凹讀 wa），作為一門(mén)剛剛起步的實(shí)驗(yàn)性編程語(yǔ)言，它是由國(guó)內(nèi)的一群 Go 語(yǔ)言愛(ài)好者發(fā)起的，主要設(shè)計(jì)目標(biāo)之一是「成為 Go 和 Rust 語(yǔ)法外衣的 C++ 語(yǔ)言」。

在創(chuàng)建伊始，柴樹(shù)杉、丁爾男和史斌三位 Gopher 便決定以開(kāi)源的方式來(lái)推動(dòng)凹語(yǔ)言的發(fā)展，其開(kāi)源地址為：https://github.com/wa-lang/wa。

具體的安裝和測(cè)試方法如下：

安裝?Clang，確保本地?clang?命令有效

go install github.com/wa-lang/wa@latest

wa init -name=_examples/hi

wa run _examples/hi

目前該項(xiàng)目提供了簡(jiǎn)單可執(zhí)行的示例，如“打印 30 以內(nèi)的素?cái)?shù)”：

?

// 版權(quán) @2021 凹語(yǔ)言 作者。保留所有權(quán)利。fn main() {    for n := 2; n <= 30; n = n + 1 {        let isPrime int = 1        for i := 2; i*i <= n; i = i + 1 {            if x := n % i; x == 0 {                isPrime = 0            }        }        if isPrime != 0 {            println(n)        }    }}

?

運(yùn)行并輸出結(jié)果：

?

$ go run main.go run _examples/prime2357111317192329

?

另一個(gè) Demo 如下圖所示：

現(xiàn)下，凹語(yǔ)言處于非常早期的實(shí)驗(yàn)階段，該團(tuán)隊(duì)在凹語(yǔ)言特性和編譯器實(shí)現(xiàn)方面都進(jìn)行了預(yù)期設(shè)定。其中，凹語(yǔ)包含兩套相互等價(jià)的語(yǔ)法，即凹語(yǔ)法與 WaGo 語(yǔ)法。這里“等價(jià)”的含義是：二者可生成相同的 AST 并無(wú)損的互相轉(zhuǎn)換。使用凹語(yǔ)法編寫(xiě)的源文件后綴為 .wa，使用 WaGo 語(yǔ)法編寫(xiě)的源文件后綴為 .wa.go。WaGo 語(yǔ)法是 Go 語(yǔ)法的真子集，換句話說(shuō)：一個(gè)合法的 WaGo 包必然是合法的 Go 包。對(duì)此，創(chuàng)建者之一柴樹(shù)杉也在知乎上進(jìn)一步表示，「等價(jià)不是最終目標(biāo)，只是為了方便習(xí)慣 Go 的用戶?！?/p>

在凹編譯器方面，該團(tuán)隊(duì)發(fā)布了如下工作流程圖，希望支持 C/C++、LLVM IR、WASM 等多種輸出以滿足不同的目標(biāo)場(chǎng)景。

?