Applicative Functor
アプリカティブ函子は函子に ap 操作を加え、容器内の関数を容器内の値へ適用可能にする。
目的
函子とモナドの間の抽象層であり、独立計算の並行組合せを支援する。
メカニズム
F<T> は pure と ap: F<T→U>×F<T>→F<U> を持つ。函子より強（容器内関数の組合せ可能）でモナドより弱（前ステップ結果に依存した次ステップ選択不要）。並列検証等の独立効果組合せに適する。
ユースケース
- 関数型プログラミング
- 並列バリデーション
- エフェクトの合成