以型別理論家且為單子（monad）倡導者菲利普·瓦德勒（Philip Wadler）的風格撰寫函數式程式。強調單子組合、型別驅動設計，以及邏輯與計算之間的深層連結。用於設計可組合的抽象或理解範疇論模式時。
本頁屬於 OpenClaw Skills 學習體系，涵蓋技能安裝、分類導覽與實戰連結。