凹語言特性

?

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

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

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

?

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

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

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

具體的安裝和測試方法如下：

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

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

wa init -name=_examples/hi

wa run _examples/hi

目前該項目提供了簡單可執(zhí)行的示例，如“打印 30 以內(nèi)的素數(shù)”：

?

// 版權(quán) @2021 凹語言 作者。保留所有權(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)        }    }}

?

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

?

$ go run main.go run _examples/prime2357111317192329

?

另一個 Demo 如下圖所示：

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

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

?