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