Les personnes qui seront présente peuvent-elles se manifester rapidement? Avec les vacances, je voudrait être sur qu'il y a un peu de monde... *Eviter le dépassement de mémoire avec la monade Etat en OCaml* [Intervenant] Antoine Kaszczyc, LIPN [Localisation] Salle B107, bâtiment B, Université de Villetaneuse [Date] 27/10/2017 11:00 - 12:00 [Description] 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. ----------------------------------