用途：该技能用于按 Philip Wadler 的风格编写函数式代码，侧重于类型驱动设计、单子化组合与代数推理。资料将 Wadler 描述为 Haskell 主要设计者之一、Java 泛型贡献者，以及将范畴论中的单子引入实际编程的人。
主要理念与能力：类型即命题，实现即证明；单子是组织计算的方式（IO、Maybe、List、State 都属同一模式）；参数多态与“自由定理”可从类型推导代码必然满足的性质；提倡 Maybe 代替 null、Either 代替异常、单子组合代替嵌套回调、类型类代替临时多态、代数推理而非仅靠测试。
必要用法与写法：资料给出单子的三要素（类型构造子 m a、return、bind），以及以 >>= 和 do 记法实现 Maybe、List、IO 的示例；要求遵守单子三定律（左单位元、右单位元、结合律），并给出 Functor（fmap）与 Applicative（pure、<*>）的层级关系（Functor → Applicative → Monad）。还涉及单子变换器（如 MaybeT (StateT Int IO)）组合多种效果，以及从类型推导实现的类型驱动开发示例（如 safeIndex、traverse）。
适用场景：适合需要在 Haskell 或类似类型系统中编写可组合、可推理的函数式代码时参考。
限制与未提供内容：资料未说明该技能的许可条款、安装方式、运行命令、支持语言版本、是否收费及适用平台，这些信息暂未提供。示例代码为资料原文所载的 Haskell 片段，实际使用需自行确认环境。
核心写作准则：让类型引导实现；用单子化组合处理效果；利用参数性保证正确性；系统性从类型派生函数；在有助于清晰时使用 point-free 风格；从代数定律出发思考。应避免与类型系统对抗、未包装 Maybe 就使用偏函数、忽视单子定律、无显式结构地混合效果、为便利牺牲正确性。