【Rust日報】2020-09-04 Rust 2021 Roadmap 計劃

Rust 2021 Roadmap 計劃

Rust的2021 Edition提上日程了，官方釋出了一篇部落格提到未來幾周會同步進行兩項重要的任務：

1）進行2020年Rust開發者問卷調查

2）希望每一位Rust開發者可以寫一篇關于對Rust未來展望的部落格，并且送出到Google表單頁

部落格連結: ​​https://blog.rust-lang.org/2020/09/03/Planning-2021-Roadmap.html​​

Rust 核心團隊成員 RalfJung 的PhD 畢業論文

Ralf 說：

「 完成了！我的論文終于完成了。是以，如果您一直想深入了解我對Rust的研究（以及更多），可以閱讀我的論文。它有近300頁，應該會讓您忙一陣子。;）

這也意味着，經過六年多的學習，我成為博士生的時間已經結束了。實際上，我當了十多年的學生了，是時候結束了。真是奇怪的感覺。

接下來肯定會繼續做很多 Rusty 的事情，從事更多技術性的工作，研究迄今為止還沒有研究過的東西。」

論文簡介：

論文提出了兩個項目，這些項目為Rust的正式基礎奠定了基礎，使我們能夠更好地了解和發展這一重要語言：RustBelt和Stacked Borrows。

RustBelt是Rust類型系統的形式化模型，并具有健全的記憶體和線程安全性證明。該模型旨在驗證Rust标準庫中許多複雜API的安全性，盡管這些API的實作使用了Unsafe的語言功能。

Stacked Borrows 是對Rust規範的建議擴充，它使編譯器可以使用Rust類型的強别名資訊來更好地分析和優化其正在編譯的代碼。不僅可以正式評估該規範的适當性，還可以在實作了Stacked Borrows語義的Rust的Miri解釋器的實際版本中運作真實的Rust代碼。

RustBelt建立在Iris（語言無關的架構）之上，該架構在Coq proof assistant中實作，用于建構更高階的并發分離（ higher-order concurrent separation）邏輯。本文首先介紹了Iris，并解釋了Iris 如何從一些簡單的成分中衍生出複雜的進階推理原理。在RustBelt中，該技術被關鍵地用來引入生命周期邏輯，該邏輯提供了新穎的借用分離邏輯說明，這是Rust類型系統的關鍵突出特性。

連結：​​https://www.ralfj.de/blog/2020/09/03/phd.html​​

論文下載下傳位址： ​​https://people.mpi-sws.org/~jung/thesis.html​​

nrc 宣布退出 Rust Core Team

nrc 是 Rust Core Team 的元老，為 Rust 做了很多貢獻。

他退出 Core Team 的原因：

1. 2019年就加入了 PingCAP ，專注于 資料庫，隻在業餘時間為 Rust 貢獻。
2. 今年他的二女兒馬上要出生了，業餘時間估計是沒有了
3. 主要專注于PingCAP 資料庫的工作

是以，隻能選擇離開 Rust Core Team 了。并表示，在未來有時間的話，還是會回來給Rust做貢獻的，離開隻是暫時的。

連結：​​https://www.ncameron.org/blog/leaving-the-rust-core-team/​​

• Rustcc論壇: 支援rss
• 微信公衆号：Rust語言中文社群