一条 prompt 找出应用里的隐式状态机，Rust/Haskell/Swift 可根除

rickasaurus · x · 2026-11-02

MalixLabs 引用 steveruizok 的提示词 "find all of the implicit state machines in my app"，并补充工程解法：隐式状态机可以通过互斥的状态变体和消费旧状态的单向转换来彻底消除——让非法状态在类型层面不可表示。

作者指出只有三种语言能天然做到这一点：Rust、Haskell 和 Swift。这是一个可以直接上手的方法：先用 LLM 扫描代码库找隐式状态机，再用类型系统重构消除它们。