Il semble qu'il n'y ai pas foule pour assister à l'exposé d'Antoine, et finalement il se trouve que la date ne nous arrange pas, ni moi ni Antoine. On voit à reporter vendredi prochain (mais c'est encore les vacances) ou le vendredi suivant (l'exposé prévu cette semaine là est un mercredi donc le vendredi est libre). Flavien Le 24/10/2017 16:23, Flavien Breuvart a écrit :
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.
----------------------------------
_______________________________________________ Gdtlogprog mailing list Gdtlogprog@lipn.univ-paris13.fr https://www-lipn.univ-paris13.fr/mailman/listinfo/gdtlogprog