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.
----------------------------------
