獨(dú)立瀏覽器Ladybird在AI助手幫助下轉(zhuǎn)向Rust語言

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Q&A

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

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

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

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

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

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