在具有型別洞（typed holes）（如 Haskell、Lean 4、Rust）的語言中實作時使用，且編譯器會提供洞診斷 — 自主執行編譯器迴圈
本頁屬於 OpenClaw Skills 學習體系，涵蓋技能安裝、分類導覽與實戰連結。