1995年Java喊出"一次編寫(xiě)，到處運(yùn)行"時(shí)，沒(méi)人想到30年后會(huì)有人用一句梵文咒語(yǔ)把它拆了。

CrowdWare創(chuàng)始人Art在測(cè)試自家新語(yǔ)言SMS的首個(gè)LLVM編譯器輸出時(shí)，發(fā)現(xiàn)了一個(gè)"漏洞"：代碼里沒(méi)有free，沒(méi)有手動(dòng)內(nèi)存管理，沒(méi)有垃圾回收器。不是忘了加，是壓根沒(méi)指定。結(jié)果程序跑得比C#快26%，比GDScript快74倍。

「不害」原則怎么殺進(jìn)了編譯器

Ahimsa，梵文原意"不傷害任何生命"。Art把它翻譯成軟件設(shè)計(jì)準(zhǔn)則：垃圾回收器的停頓是不可預(yù)測(cè)的，你的應(yīng)用突然卡住，用戶感知到了，這就是"傷害"。

所以CrowdWare團(tuán)隊(duì)問(wèn)了一個(gè)反直覺(jué)的問(wèn)題：要是干脆不要GC呢？

SMS編譯到LLVM IR（中間表示）。LLVM不是新手——當(dāng)你不指定垃圾回收器時(shí)，它默認(rèn)用棧分配和RAII（資源獲取即初始化）語(yǔ)義。作用域結(jié)束，內(nèi)存確定性地釋放。沒(méi)有停頓，沒(méi)有世界停止，沒(méi)有驚喜。

Rust靠復(fù)雜度實(shí)現(xiàn)了這一點(diǎn)：借用檢查器、生命周期、陡峭的學(xué)習(xí)曲線。SMS靠簡(jiǎn)單：不加不需要的東西。

性能數(shù)字背后的架構(gòu)選擇

Art給出了一個(gè)清晰的定位圖：

JVM/.NET陣營(yíng)（Java、Kotlin、C#、F#）往上，SMS/Forge往下。中間隔著"Native First、LLVM直連、無(wú)GC、無(wú)虛擬機(jī)"這道墻。

測(cè)試環(huán)境相同、負(fù)載相同：SMS比C#快1.26倍，比GDScript快74倍。這還沒(méi)算最壞情況延遲——JVM的GC停頓會(huì)讓差距進(jìn)一步拉大。Art補(bǔ)充說(shuō)，在Android和JavaVM場(chǎng)景下，SMS應(yīng)該也比Kotlin快。

一個(gè)來(lái)自古印度的原則，讓一個(gè)編譯器決策把SMS送進(jìn)了Rust和C++的性能梯隊(duì)，同時(shí)保持語(yǔ)言的可讀性和簡(jiǎn)潔性。

這不是計(jì)劃出來(lái)的

Art的原話很直白：「我們沒(méi)有計(jì)劃這個(gè)，沒(méi)有工程化它。我們只是問(wèn)：什么會(huì)造成傷害？然后我們就沒(méi)造它。在潛意識(shí)層面?！?/p>

SMS很年輕——首個(gè)LLVM編譯器就是"昨天"寫(xiě)的。基于SMS和SML的應(yīng)用框架Forge 4D還在早期alpha。項(xiàng)目托管在Codeberg，對(duì)人類免費(fèi)。

Art的身份標(biāo)簽很有意思：CrowdWare創(chuàng)始人，密宗僧侶。他用系統(tǒng)思考，用SMS構(gòu)建，讓宇宙處理其余部分。

當(dāng)整個(gè)行業(yè)在垃圾回收的調(diào)優(yōu)參數(shù)里卷生卷死時(shí)，有人用2500年前的倫理學(xué)原理做了個(gè)減法。如果"不傷害"能成為性能優(yōu)化的底層邏輯，下一個(gè)被梵文改造的技術(shù)棧會(huì)是什么？