Rust 中的函数式状态机：typestate 与 newtype 模式的经验报告

概述

这是一篇来自 FUNARCH 2026 会议（ICFP 2026）的经验报告，作者在德国最大在线零售商之一 Otto 的 Rust 后端服务中，用三个生产案例评估 typestate 与 newtype 两种类型化设计模式对代码质量的影响，并辅以专家访谈、静态分析与基准测试。结果表明：typestate 通过把合法执行顺序编码进类型系统、使非法序列在编译期不可表示，显著提升了代码的「无缺陷性」与可测试性，但代价是更多样板代码、可能损害可读性，最适合分支逻辑多、不变量丰富的代码；newtype 结合「先解析、别验证」（parse, don't validate）原则，以低成本提升代码质量并阻止无效运行时状态。