CHAPTER 12 · ENGINEERING CHOICE

為什麼 Rust 合適：先分清事實與推斷

原始碼能證明 Rust 2024、Tokio、強型別建模和原生二進位產物。技術選擇背後的組織動機沒有寫入原始碼，本課只給出有邊界的課程推斷。

課程目標
用「倉庫證據」和「工程推斷」兩套標籤分析技術選型，避免把合理解釋寫成 xAI 官方動機。

原始碼可驗證事實

Rust 2024

[workspace.package] 明確設定 edition = "2024"。

Tokio 全功能

workspace 依賴使用 Tokio 1，並啟用 full feature。

強型別狀態

enum、Result、newtype 與 Actor handle 廣泛用於邊界建模。

二進位目標

xai-grok-pager-bin 定義一個名為 xai-grok-pager 的 bin target。

證據邊界

原始碼事實

倉庫直接支援的結論

入口建立 Tokio 多執行緒 runtime。
會話另建 current-thread runtime 與 LocalSet。
release-dist 配置 panic、LTO、codegen units 等原生發布參數。
型別系統承載 Agent、Session、Sampler、Prompt 等領域邊界。

課程推斷

可討論的工程收益

原生二進位便於把 CLI 與執行時一起交付。
所有權與 Send 邊界有助於管理多執行緒會話。
強型別適合複雜協議、工具參數和狀態轉換。
代價包括編譯時間、生命週期約束與更高學習門檻。

這些是基於程式碼形態的解釋，不代表 xAI 官方披露的選型原因。

真實原始碼證據

Cargo.toml

[workspace.package]
edition = "2024"

[workspace.dependencies]
tokio = { version = "1", features = ["full"] }

crates/codegen/xai-grok-pager-bin/src/main.rs

let runtime = tokio::runtime::Builder::
  ::new_multi_thread()
  .enable_all()
  .build()
  .unwrap_or_else(|e| panic!("failed to start tokio runtime: {e}"));

公開行為對照

Grok Build 與 Claude Code

Grok Build 本地原始碼
可驗證 Rust workspace、原生 bin target、Tokio runtime 和 crate 邊界。

Claude Code 公開行為
公開安裝文件提供原生安裝方式，也提供 Homebrew、WinGet 等方式。使用者可見行為包括終端互動、無頭模式和工具呼叫。

此處僅比較公開可驗證的安裝與產品行為，不推斷 Claude Code 的私有內部實現、語言或併發架構。

原始碼快照說明：本頁依據本地同步副本核對。該副本沒有 .git 中繼資料，因此不聲稱對應某個 commit 版本。

課堂練習

給每條結論貼標籤

判斷下列陳述屬於「原始碼事實」還是「課程推斷」：使用 Rust 2024、入口採用 Tokio、多執行緒一定更快、xAI 為降低記憶體佔用選擇 Rust。最後兩條缺少倉庫直接證據。

Takeaway：技術選型分析先建立證據邊界。Rust 2024、Tokio、型別邊界和 bin target 屬於事實，效能收益與團隊動機需要標為推斷並接受驗證。