天天看點

【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語言中文社群