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 属于事实，性能收益与团队动机需要标为推断并接受验证。