?

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

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

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

?

國內 Gopher?發起的「凹語言」

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

在創建伊始，柴樹杉、丁爾男和史斌三位 Gopher 便決定以開源的方式來推動凹語言的發展，其開源地址為：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

目前該項目提供了簡單可執行的示例，如“打印 30 以內的素數”：

?

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

?

運行并輸出結果：

?

$ go run main.go run _examples/prime2357111317192329

?

另一個 Demo 如下圖所示：

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

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

?