歡迎閱讀 2026 年 5 月 29 日的 Tempest Rust Daily 技術情報精華。本期最重磅的消息是 Rust 1.96.0 正式發布，帶來全新的 Copy 友善 Range 型別，同時修補了兩個影響第三方套件登錄站（registry）的 Cargo 安全漏洞。此外還有形式化驗證工具 Creusot、Microsoft 在不改用 Rust 的前提下強化 C/C++ 記憶體安全的計畫，以及多個值得關注的開源函式庫與生態系專案。以下為本期精選整理。
本期重點
1. Rust 1.96.0 正式發布
Rust 團隊宣布推出新版本 Rust 1.96.0。如同以往，若你先前已透過 rustup 安裝 Rust，只要執行 rustup update stable 即可升級至 1.96.0；尚未安裝者也可從官網取得。這是 Rust 持續以穩定釋出節奏推進的最新一版，讓開發者能打造可靠又高效的軟體。
2. Rust 1.96 帶來 Copy 友善的全新 Range 型別
本次釋出最受矚目的變更，是引入了全新的 Range 型別。除了新的 range 型別之外，Rust 1.96 還穩定化了多個斷言巨集（assertion macros）、調整了 WebAssembly linker 的行為，並修補了兩個影響第三方套件登錄站的 Cargo 漏洞。對於長期受 Range 未實作 Copy 所困擾的開發者來說，這個變更格外值得留意。
3. Rust 官方發布兩則 Cargo 安全公告
Oracle 的 Alan Coopersmith 於 2026 年 5 月 28 日在 oss-sec 郵件論壇轉發了兩則來自 Rust 的 Cargo 安全公告，這兩則公告同時也張貼於 Rust 官方部落格（blog.rust-lang.org）。這正是 Rust 1.96 釋出說明中所提到、影響第三方套件登錄站的兩個 Cargo 漏洞。使用 Cargo 拉取第三方相依套件的團隊，建議儘速升級並檢視公告細節。
4. Creusot：協助你證明 Rust 程式碼正確性的演繹式驗證工具
Creusot 是一套針對 Rust 程式碼的演繹式驗證器（deductive verifier）。它能驗證你的程式碼不會發生 panic、溢位（overflow）與斷言失敗等問題；若再加上適當的標註（annotation），更可進一步驗證程式碼確實做了「正確」的事。Creusot 的運作方式是將 Rust 程式碼翻譯成 Coma 這個中介語言來進行驗證，對於需要高度可靠性的關鍵系統開發者而言是值得關注的工具。
5. Microsoft 計畫在不改用 Rust 的前提下讓 C/C++ 達到記憶體安全
Microsoft 提出了一套構想，希望在不強迫開發者全面改採 Rust 這類全新語言的情況下，強化 C 與 C++ 程式碼的記憶體安全性。該公司在近期一篇部落格文章中詳述了作法，並坦言這兩種基礎程式語言長期以來伴隨的資安風險。對於擁有大量既有 C/C++ 程式碼庫、又難以全面遷移到 Rust 的組織來說，這提供了另一條值得評估的路徑。
6. Roto 一週年：為 Rust 打造的編譯式腳本語言
作者 Terts Diepraam 分享了 Roto 推出滿一週年的回顧。Roto 是一套為 Rust 應用程式設計、採 JIT 編譯的內嵌式腳本語言，最初由 NLnet Labs 發表。文章回顧了這一年間的進展與新功能，對於想在 Rust 程式中加入動態腳本能力（例如讓使用者撰寫設定或規則邏輯）的開發者，是個值得參考的方案。
7. Minarrow：輕量級的 Arrow 欄式資料函式庫
Minarrow 是一套以 Rust 撰寫的欄式（columnar）資料函式庫。Apache Arrow 是支撐 Polars、Apache DataFusion 等主流函式庫、並可選用於 Pandas 的欄式執行階段格式；Minarrow 則是從零開始重新實作這套開放的 Arrow 格式。它主打提供 Arrow 形狀的資料結構並具備與 Python 互通的能力，適合想要更輕量、可控的 Arrow 實作的資料工程場景。
8. 以「文法優先」思維打造 Rust 的 Parser Combinator
Rust 生態系已有 nom、chumsky 等成熟的 parser combinator 函式庫，那為何還要再造一個？作者指出，使用既有的 parser combinator 函式庫時，往往得處理大量中介值（intermediate values）與忽略不需要的內容，因此他改以「文法優先」（grammar-first）的設計思路來重新思考剖析器的撰寫方式。對於經常需要寫剖析器、又覺得現有工具不夠順手的開發者，這篇文章提供了不同的視角。
9. 用 Rust 為 MySQL 開發擴充套件，如同 PostgreSQL 的 pgx/pgrx
想為 MySQL 加上自訂功能，就像 PostgreSQL 生態系裡的 pgx/pgrx 一樣嗎？這個 vsql-rust-sdk 專案讓你能以安全的 Rust 為 MySQL／VillageSQL 撰寫自訂 SQL 函式（VDF）。SDK 會處理所有 FFI marshaling 細節，讓你完全使用一般的 Rust 型別來開發，不必直接面對底層的 C 介面。對於想在資料庫層注入 Rust 安全性與效能的開發者來說相當實用。
10. This Week in Rust 第 653 期
又一期的《This Week in Rust》與大家見面。這是 Rust 社群每週彙整的進度摘要，涵蓋語言、生態系與社群的最新動態。Rust 是一門讓所有人都能打造可靠、高效軟體的程式語言，想持續掌握社群脈動的讀者，這份週報是不可錯過的固定讀物。
11. 開箱即用的 Rust 核心模組：附測試、CI 與零 Panic 預設的 cargo-generate 模板
這個專案提供一套 cargo-generate 模板，主打讓你在短時間內就能建立可上線等級的核心模組（kernel module），且內建測試、GitHub Actions CI 流程，以及編譯期的安全保證與零 panic 的預設配置。對於想嘗試以 Rust 撰寫核心層程式、又希望從一開始就有完整工程化骨架的開發者，是個方便的起步點。
12. Rust Async 其實和你想的不一樣
這篇文章帶讀者深入理解 Rust 非同步（async）背後的核心概念：Future、Waker 與 Pinning，並解釋為什麼 async Rust 一開始會讓人覺得像黑魔法，直到突然「開竅」後一切豁然開朗。對於正在學習或想釐清 Rust 非同步模型運作原理的工程師，這是一篇能幫助建立正確心智模型的入門讀物。
以上為本期 Tempest Rust Daily 精選。本期重點圍繞在 Rust 1.96.0 釋出與隨之而來的 Cargo 安全更新，建議使用第三方相依套件的團隊優先評估升級。我們明天再會。