Functor
函子是带 map 操作的类型构造器,对容器内值应用函数而不改变容器结构。
用途
统一映射操作抽象,是单子的基础,支持容器内变换。
机制
F<T> 有 map: F<T>×(T→U)→F<U>。满足恒等律(map(id)=id)与复合律(map(f∘g)=map(f)∘map(g))。List、Option、Future 都是函子。map 保持容器结构只变换内部值。
用例
- 函数式编程
- 容器抽象
- 映射统一
函子是带 map 操作的类型构造器,对容器内值应用函数而不改变容器结构。
统一映射操作抽象,是单子的基础,支持容器内变换。
F<T> 有 map: F<T>×(T→U)→F<U>。满足恒等律(map(id)=id)与复合律(map(f∘g)=map(f)∘map(g))。List、Option、Future 都是函子。map 保持容器结构只变换内部值。