獨(dú)立的Ladybird網(wǎng)頁(yè)瀏覽器項(xiàng)目正在改變其編程語(yǔ)言選擇方向，基于大語(yǔ)言模型的編程助手正在幫助評(píng)估這一轉(zhuǎn)變。

該項(xiàng)目最新博客文章的標(biāo)題直接說(shuō)明了正在發(fā)生的事情："Ladybird采用Rust，在AI幫助下"。該文章還將其開發(fā)延遲約一年歸咎于嘗試使用蘋果的Swift編程語(yǔ)言，其GitHub問(wèn)題頁(yè)面顯示這已成為過(guò)去。目前，工作仍在C++中繼續(xù)進(jìn)行，同時(shí)并行運(yùn)行著將子系統(tǒng)移植到Rust的副項(xiàng)目。

Ladybird項(xiàng)目正在從零開始編寫一個(gè)現(xiàn)代網(wǎng)頁(yè)瀏覽器，包括其渲染引擎。這是一個(gè)巨大的工程；此類項(xiàng)目屈指可數(shù)。除了一些細(xì)分工具外，所有主流瀏覽器歸結(jié)為三個(gè)基本系列。Mozilla的Firefox基于Mozilla自己的Gecko渲染引擎。另外兩個(gè)彼此相關(guān)。在蘋果操作系統(tǒng)上，Safari基于蘋果的WebKit引擎，該引擎源于2003年對(duì)KDE的KHTML的分叉。在其他平臺(tái)上，有谷歌Chrome，它使用谷歌十年后從WebKit分叉出來(lái)的Blink引擎。

Ladybird最初是Serenity OS項(xiàng)目的內(nèi)置原生網(wǎng)頁(yè)瀏覽器，我們?cè)?022年初試用并撰寫了相關(guān)文章。大約18個(gè)月后，Serenity OS項(xiàng)目迎來(lái)五周年，首席開發(fā)者Andreas Kling決定將瀏覽器作為一個(gè)獨(dú)立的、獨(dú)立的跨平臺(tái)程序分離出來(lái)。

Serenity OS是一個(gè)新的類Unix操作系統(tǒng)。與Linux或BSD不同，它是用C++實(shí)現(xiàn)的，這意味著Ladybird也是如此。早在2024年，Kling在X上宣布瀏覽器項(xiàng)目正在改變方向，轉(zhuǎn)而使用相對(duì)較新的Swift編程語(yǔ)言。蘋果在2014年宣布了Swift，第二年承諾Swift 2將開源——因此是跨平臺(tái)的。

不過(guò)，Ladybird與Swift的短暫戀情似乎已經(jīng)結(jié)束。上周，Kling關(guān)閉了問(wèn)題#933 Swift 6.0阻塞因素，并評(píng)論道："關(guān)閉此問(wèn)題，因?yàn)槲覀儾辉僮非骃wift采用。"

現(xiàn)在他正在談?wù)撈渲械脑?。在Rust公告中，他說(shuō)："C++互操作性始終沒有達(dá)到預(yù)期，而蘋果生態(tài)系統(tǒng)之外的平臺(tái)支持有限。"

相反，"展望未來(lái)，我們正在用Rust重寫Ladybird的部分代碼。"文章繼續(xù)說(shuō)道："當(dāng)我們最初在2024年評(píng)估Rust時(shí)，我們拒絕了它，因?yàn)樗惶m合C++風(fēng)格的面向?qū)ο缶幊?。但?jīng)過(guò)又一年的原地踏步，是時(shí)候做出務(wù)實(shí)的選擇了。"

不過(guò)，選擇的方式可能會(huì)引起一些人的關(guān)注。他選擇使用基于大語(yǔ)言模型的編程助手將C++代碼翻譯成Rust，然后仔細(xì)檢查生成代碼的結(jié)構(gòu)是否與原始代碼匹配，以及是否產(chǎn)生相同的輸出。他選擇從Ladybird的JavaScript解釋器開始，因?yàn)樗鄬?duì)自包含，其階段和輸出定義明確，并且由于ECMAScript測(cè)試套件而具有良好的測(cè)試覆蓋率。

正如他仔細(xì)解釋的那樣，這不是"氛圍編程"的練習(xí)："我使用Claude Code和Codex進(jìn)行翻譯。這是人類指導(dǎo)的，而非自主代碼生成。我決定移植什么、按什么順序以及Rust代碼應(yīng)該是什么樣子。這是數(shù)百個(gè)小提示，引導(dǎo)智能體到需要去的地方。在初始翻譯后，我進(jìn)行了多輪對(duì)抗性審查，要求不同模型分析代碼中的錯(cuò)誤和不良模式。"

結(jié)果聽起來(lái)確實(shí)令人印象深刻："從一開始的要求就是兩個(gè)管道輸出的字節(jié)級(jí)別完全相同。結(jié)果是大約25,000行Rust代碼，整個(gè)移植用了大約兩周時(shí)間。同樣的工作如果手動(dòng)完成將花費(fèi)我數(shù)月時(shí)間。我們已經(jīng)驗(yàn)證了Rust解析器生成的每個(gè)AST都與C++的相同，Rust編譯器生成的所有字節(jié)碼都與C++編譯器的輸出相同。全面零回歸。"

使用大語(yǔ)言模型將軟件從一種語(yǔ)言翻譯到另一種語(yǔ)言以追求更好的安全性——以及性能、代碼大小和其他理想屬性——的方法是我們?cè)?024年自己閑聊時(shí)推測(cè)過(guò)的。這幾乎與氛圍編程群體的放手讓機(jī)器人完成的方法相反。

Kling指出，結(jié)果并不是地道的Rust代碼，需要完善。這不是項(xiàng)目的唯一新方向："這不會(huì)成為項(xiàng)目的主要焦點(diǎn)。我們將繼續(xù)用C++開發(fā)引擎，將子系統(tǒng)移植到Rust將是一個(gè)長(zhǎng)期運(yùn)行的副線。"

這是一個(gè)有趣的嘗試，我們懷疑它會(huì)像討好一些人一樣激怒另一些人。Kling對(duì)爭(zhēng)議并不陌生。例如，他被指控恐跨性別，因?yàn)樗芙^更改以使Serenity OS文檔的語(yǔ)言更加性別中立等。它還獲得了Cloudflare的贊助——而Cloudflare有時(shí)對(duì)小眾瀏覽器并不友好。對(duì)一些人來(lái)說(shuō)，這些足以譴責(zé)這個(gè)項(xiàng)目，以及基于Omarchy Arch的Linux變體，我們之前已經(jīng)討論過(guò)圍繞它的爭(zhēng)議。

作為一個(gè)有趣的腳注，在我們關(guān)于大語(yǔ)言模型代碼翻譯的文章中，我們鏈接了編程博客作者Steve Yegge的帖子。他最近全力投入到他稱之為"Gas Town"的機(jī)器人群監(jiān)督機(jī)器人的模式中，并且新發(fā)現(xiàn)了用加密貨幣支付Token的熱情。與Yegge的博客文章一如既往地長(zhǎng)且相當(dāng)深入，但這次我們想強(qiáng)調(diào)我們不建議您閱讀它們。我們不太確定它們值得您花時(shí)間。不過(guò)，Rusty Foster的批評(píng)性評(píng)估"All Gas Town, No Brakes Town"可能值得一讀。

Q&A

Q1：Ladybird瀏覽器項(xiàng)目是什么？它有什么特點(diǎn)？

A：Ladybird是一個(gè)獨(dú)立的網(wǎng)頁(yè)瀏覽器項(xiàng)目，正在從零開始編寫現(xiàn)代網(wǎng)頁(yè)瀏覽器和渲染引擎。它最初是Serenity OS項(xiàng)目的內(nèi)置瀏覽器，后來(lái)被分離為獨(dú)立的跨平臺(tái)程序。目前主要用C++開發(fā)，正在嘗試部分移植到Rust語(yǔ)言。

Q2：Ladybird為什么要從Swift轉(zhuǎn)向Rust語(yǔ)言？

A：Ladybird曾嘗試采用Swift語(yǔ)言，但遇到了C++互操作性不佳和蘋果生態(tài)系統(tǒng)外平臺(tái)支持有限的問(wèn)題，這導(dǎo)致開發(fā)延遲約一年。最終項(xiàng)目決定放棄Swift，轉(zhuǎn)而選擇Rust語(yǔ)言進(jìn)行部分重寫。

Q3：Andreas Kling是如何使用AI幫助代碼翻譯的？

A：Kling使用Claude Code和Codex等大語(yǔ)言模型助手將C++代碼翻譯成Rust，但這是人類指導(dǎo)的過(guò)程，不是自主代碼生成。他通過(guò)數(shù)百個(gè)小提示引導(dǎo)AI，并進(jìn)行多輪對(duì)抗性審查。整個(gè)移植過(guò)程用了約兩周時(shí)間，生成了25,000行Rust代碼，實(shí)現(xiàn)了字節(jié)級(jí)別的完全相同輸出。