Résumé :

Selon une configuration classique, avec une implémentation classique de la monade Etat en OCaml, on obtient normalement une "stack overflow" au bout d'un million de compositions avec "bind". On va voir pourquoi ça arrive, et comment l'éviter avec des continuations. Ensuite on verra que cela n'est pas suffisant si on utilise en même temps la monade Writer. On verra alors un compromis sous forme de "bind répétitif". Si quelqu'un a des idées de solutions, elles sont bienvenues.