跳到主要内容
uencoder

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 保持容器结构只变换内部值。

用例

  • 函数式编程
  • 容器抽象
  • 映射统一

相关词条

参考链接