在具有类型洞（typed holes）（如 Haskell、Lean 4、Rust）的语言中实现时使用，前提是编译器提供洞诊断 — 会自主运行编译器循环
本页属于 OpenClaw Skills 学习体系，覆盖技能安装、分类导航与实战链接。