Aller au contenu
uencoder

Pure Function

Une fonction pure renvoie toujours la même sortie pour la même entrée et n'a pas d'effets de bord — le fondement de la programmation fonctionnelle et du code fiable.

Objectif

Des fonctions prévisibles, testables et mettables en cache qui éliminent les dépendances à un état caché.

Mécanisme

Conditions : 1) même entrée → même sortie (transparence référentielle) ; 2) pas d'effets de bord (ni mutation d'état externe, ni dépendance à un état externe mutable). Cela permet la mémoïsation, l'exécution parallèle et le raisonnement équationnel.

Cas d’usage

  • Programmation fonctionnelle
  • Tests simplifiés
  • Code fiable

Termes associés

References