4.2.3 单体 (Monad)

文档摘要

4.2.3 单体 (Monad) 单体（Monad）不是语法糖，不是设计模式的变体，更不是函数式编程里用来炫技的抽象玩具。它是结构化副作用的代数骨架，是类型系统在运行时边界上刻下的逻辑契约，是当你试图把“可能失败的计算”、“带状态的演化”、“异步延迟的动作”、“非确定性的选择”——这些本该散落在程序各处、彼此撕扯的现实碎片——重新编织成一条可组合、可推理、可测试、可替换的计算流时，唯一能稳稳托住你双手的那块铸铁基座。我曾在某次金融风控引擎重构中亲眼见过一个没有 Monad 的世界：三层嵌套的类型签名像一堵湿水泥墙堵在每个函数入口；日志埋点与重试逻辑被硬编码进业务分支；