跳到主要内容
uencoder

Applicative Functor

应用函子在函子基础上加 ap 操作,允许将容器内的函数应用到容器内的值。

用途

在函子与单子之间的抽象层,支持独立计算的并行组合。

机制

F<T> 有 pure 与 ap: F<T→U>×F<T>→F<U>。比函子强(可组合容器内函数)比单子弱(不依赖前一步结果选后一步)。适合独立效应组合如并行验证。

用例

  • 函数式编程
  • 并行验证
  • 效应组合

相关词条

参考链接