Les langages de programmation purement fonctionnels sont assez rares. Le plus grand représentant est Haskell. Par définition ces langages n'ont pas d'effets de bord, c'est-à-dire toutes opérations mettant en œuvre un accès hors du contexte de l'expression (typiquement les E/S ou encore les accès mémoire). Cependant, Haskell contient bien des entrées/sorties alors comment fait-il ? Il utilise les monades pour garder un contexte pur avec des effets. Je vais vous présenter une autre façon de faire, l'utilisation de gestionnaire d'effets algébriques. Je profiterai de la conclusion pour vous expliquer en quoi ces gestionnaires me sont utiles dans mes recherches.