Applicative Functor
应用函子在函子基础上加 ap 操作,允许将容器内的函数应用到容器内的值。
用途
在函子与单子之间的抽象层,支持独立计算的并行组合。
机制
F<T> 有 pure 与 ap: F<T→U>×F<T>→F<U>。比函子强(可组合容器内函数)比单子弱(不依赖前一步结果选后一步)。适合独立效应组合如并行验证。
用例
- 函数式编程
- 并行验证
- 效应组合
应用函子在函子基础上加 ap 操作,允许将容器内的函数应用到容器内的值。
在函子与单子之间的抽象层,支持独立计算的并行组合。
F<T> 有 pure 与 ap: F<T→U>×F<T>→F<U>。比函子强(可组合容器内函数)比单子弱(不依赖前一步结果选后一步)。适合独立效应组合如并行验证。