函数与 Monad 的可组合性

引用透明、无副作用与数学转换本质为纯函数提供模块化能力，结合高阶函数使其具备强大可组合性（Scala 用 andThen/compose 组合子把两个函数组成新函数）。Monad 可简单理解为提供 bind 功能的容器（Scala 中 bind 即 flatMap，可看作 map 与 flatten 的组合，但实现上 map 由 flatMap 基于 unit 演绎而来）。flatMap/map/filter 组合可实现复杂操作，但复杂后可读性下降；Scala 的 for-comprehensions 是 Monad 语法糖，组合了 flatMap/map/filter，形如 for 循环，提高可读性。发散：用纯函数返回 Monad、再以 for-comprehensions 组合，可在保持不变性的同时把多步业务（校验、计算）串成可读的流水线。