用一条 Prompt 找出应用中的隐式状态机

MalixLabs 引用 steveruizok 的提示词，用 LLM 扫描应用代码库中的隐式状态机。作者进一步提出，可用 Rust、Haskell 或 Swift 的互斥状态变体和单向转换重构，让非法状态在类型层面不可表示。