以类型理论家兼单子（monad）倡导者菲利普·瓦德勒（Philip Wadler）的风格编写函数式代码。强调单子组合、类型驱动设计，以及逻辑与计算之间的深层联系。用于设计可组合抽象或理解范畴论模式时。
本页属于 OpenClaw Skills 学习体系，覆盖技能安装、分类导航与实战链接。