是時候開始重寫編譯器了,2023年的 Rust 將會有哪些新改變?

【CSDN 編者按】備受大廠青睞,成功躋身 Linux 核心的 Rust 著實是當下最火熱的程式語言明星,近日,負責 Rust 工作的微軟的首席工程師 Nick Cameron 發佈了 2023 年 Rust 程式語言發展規劃。

原文連結:https://www.ncameron.org/blog/rust-in-2023/

作者 | Nick Cameron

譯者 | 禾木木

首先,感謝您在 2022 年使用 Rust!

感謝所有貢獻者、團隊、基金會、社區和使用者。這是忙碌的一年,如果沒有很多人,例如志願者為此付出了很多努力,這一切都不會發生。

對於即將到來的2023年, Rust 會優先考慮哪些內容呢?

兩件大事

兩件大事

首先,這也是最重要的,Rust 項目需要解決開發者治理和領導力問題。目前這些阻礙了很多有潛力的工作,而且持續的時間越長,項目累積的「治理債務」就越多,問題就會越多。令人尷尬的是,在 Rust 核心團隊崩潰一年後,仍然沒有關於新領導團隊的提議。

Rust 治理還有很多工作需要完成,主要是更新 RFC 流程,並重新審視團隊和工作組織結構。但這些在領導團隊和完成當前變革方面受到阻礙。其次,由於缺少項目領導者,我認為我們需要重新審視「穩定而不停滯」的戰略。

避免停滯是非常重要的,不能停止創新,但也不能無限制地發展語言。程式語言的複雜性和規模是有代價的,這與 Rust 賦予人們權力編寫可靠和高性能軟體的使命不一致(IMO 要求使語言更簡單、更小巧、更易於使用)。如果僅僅因為保持向後兼容性,這並不意味著我們實現了穩定性。

無論如何,不應該停止創新或只是放慢速度,但確實認為需要找到超越「實驗 -> nightly -> 穩定」管道的創新方法。我們需要一個框架,以便創新可以發生在核心社區之外,而不需要所有工作都發生在使用者依賴穩定和成熟的語言上。

同樣,我認為是時候開始重寫編譯器了。是的,重寫這個主意通常很糟糕,重寫的缺點會讓我們放慢當前編譯器的工作速度,我認為在 Rust 成熟的這一點上,這並不是一件可怕的事情。

如果項目沒有成功,我們仍然應該學習一些東西。另一方面,它的潛在好處是巨大的!目前的架構已經很難實現增量編譯、並行編譯等。重新開始會讓我們應用從頭開始學到的一切,這將有機會認真改進編譯時間,並使未來的開發更加容易。與語言 2.0 相結合,我們可能會因為向後兼容而丟棄一堆技術債務,並對語言進行更改從而可以支持更快的編譯。

一些「較小」的東西

一些「較小」的東西

Cargo(和 crates.io)是一個非常重要的工具,並且在很多重要事情的關鍵路徑上(供應鏈安全、通用安全、與其他語言的集成、與其他構建系統的集成、構建時間……)都存在,但資源嚴重不足,取得進展很慢(目前的團隊不應該受到責備,他們在惡劣的條件下已做得很好)。

我認為現在有機會解決這個問題:向 Cargo 和 crates.io 團隊中任何願意接受它的人投資,集中指導潛在的新團隊成員(如果缺少這些人,需要說服一些大公司支持 Rust 找到人,每個人在 Cargo 上工作 1/4 的時間),與這些人一起快速擴大團隊(即使他們只對程式碼庫等有部分了解),開始鼓勵貢獻和新功能。希望一旦激動人心的事情發生並且有足夠的審查機制,將會產生一個貢獻的良性循環,我們就會擺脫當前困境。

非同步。Rust 中非同步程式設計的工作進展順利,我希望能在 2023 年開始融合併產生成果。我對自己的緩慢進展感到有些沮喪,大多數非同步工作組都忙於其他事情,但是事情也正在發生好的變化。對於非同步來說,2023 年將是激動人心的一年,它應該仍然是該項目的高優先事項。

不安全的程式設計。不安全程式碼指南、定義 Rust 記憶體模型以及為不安全程式設計提供工具和指南方面做了大量工作。我認為在這方面進一步推進,對 Rust 來說非常重要。安全是 Rust 的主要賣點,開發者們可以做的越多,這使不安全的程式設計更安全、更容易。

完成和打磨。我經常要求團隊更多地關注完成事情,並且要打磨粗糙的邊緣,而不是開始新事物。有太多不穩定的和部分實現的功能,還有太多計劃已久但缺失的功能。

結語

結語

以萬用字元做為本文的結束,我很高興看到 Rust 的資料分析/數值計算明年將如何發展。這是一項完全由社區主導的工作,並且今年發生了一些非常令人興奮的事情。尤其是 Polars 非常酷,我認為它非常適合 Rust,它在成熟方面似乎達到了一個拐點,我也很好奇它是否能夠起飛,還有它將會走向何方。

相關文章

Rust vs Go,到底該怎麼選?

Rust vs Go,到底該怎麼選?

【CSDN 編者按】擁有 40 多年程式設計經驗的知名 Go 開發者與作家 John Arundel 在其個人部落格分享了《Rust vs ...

「聽我說,創業公司選擇 Rust 需謹慎」

「聽我說,創業公司選擇 Rust 需謹慎」

摘要:近年來,Rust 絕對是一門成長速度飛快的程式語言,許多國內外大廠都開始關注這門年輕的語言,但本文作者表示,對於創業公司而言,Rust...

吳峰光殺進 Linux 核心

吳峰光殺進 Linux 核心

【編者按】吳峰光,Linux 核心守護者,學生時代被同學戲稱為「老神仙」,兩耳不聞窗外事,一心只搞 Linux。吳峰光的 Linux 核心之...