可迁移模型 · TRANSFERABLE MODEL
"足够近似的纯"往往比"绝对纯"更实用
理论上每个函数都应该是纯的,但实际上 Unix 管道中的 `cat` 和 `sort` 依赖文件系统和 locale——它们不是纯函数,却在实践中极其有效。核心 insight 是:不要追求 100% 纯净,而是把"足够纯"的函数放在核心逻辑中,把不纯的部分推到边界。这与 Clean Architecture 的"依赖方向从外向内"是同一条原则。
来自这本书的解读报告
《函数式编程》
这本书回答了软件复杂度根源是什么,它的答案是消灭可变状态,用纯函数与组合来管理复杂性
阅读完整解读报告 →