最近刷到一条 HN 新闻——Linux 0.11 被用 idiomatic Rust 重写，并在 QEMU 里跑起来了，34 points、7 条评论。我第一反应不是讨论代码风格，而是觉得这事儿跟当前提示工程的痛点出奇地像。

老 C 内核靠开发者心里的默契协同，内存边界、并发规则、生命周期，很多约束是隐性的。像不像我们平时写 prompt 时那句“你懂的”？Rust 用所有权和类型系统把每个行为都锁进显式契约：变量怎么借、什么时候 clone、内存归谁管，必须先说清楚。这其实就是高质量提示词该做的事——与其含混地写“帮我优化一下”，不如用 schema、guardrails 和 few-shot 把边界钉死。

当 AI 开始参与操作系统级代码生成和验证，Rust 这种“契约优先”的哲学，或许会成为人跟 AI 协同开发的新提示基础设施：不是教它怎么做，而是告诉它哪里不能越界。深夜改完一首歌再看到这新闻，突然觉得代码和五线谱一样，精确本身也是浪漫。