Applicative Functor
Un foncteur applicatif ajoute l'opération ap à un foncteur, permettant d'appliquer une fonction dans un conteneur à une valeur dans un conteneur.
Objectif
Couche d'abstraction entre foncteurs et monades, supportant la composition parallèle de calculs indépendants.
Mécanisme
F<T> a pure et ap: F<T→U>×F<T>→F<U>. Plus fort que foncteur (peut combiner fonctions dans conteneurs), plus faible que monade (ne dépend pas de résultats précédents). Adapté à la composition d'effets indépendants comme la validation parallèle.
Cas d’usage
- Programmation fonctionnelle
- Validation parallèle
- Composition d'effets