Monad
单子是带 flatMap（bind）与 pure（return）操作的类型构造器，提供链式计算的上下文管理。
用途
抽象计算上下文（可选、异步、错误、状态），使链式计算优雅安全。
机制
M<T> 有 pure: T→M<T> 与 flatMap: M<T>×(T→M<U>)→M<U>。满足左/右单位律与结合律。Option monad 处理空值、Result 处理错误、Future 处理异步。flatMap 链式管理上下文。
用例
- 函数式编程
- 错误处理
- 异步组合
单子是带 flatMap（bind）与 pure（return）操作的类型构造器，提供链式计算的上下文管理。
抽象计算上下文（可选、异步、错误、状态），使链式计算优雅安全。
M<T> 有 pure: T→M<T> 与 flatMap: M<T>×(T→M<U>)→M<U>。满足左/右单位律与结合律。Option monad 处理空值、Result 处理错误、Future 处理异步。flatMap 链式管理上下文。