Programmation Web et modèles de concurrence

Objectif

Depuis sa version 5, OCaml est le premier langage industriel à proposer un système d'effets algébriques (exceptions relançables). Cette fonctionnalité extrêmement puissante permet notamment de proposer un modèle de programmation concurrente beaucoup plus simple à utiliser que les traditionnelles bibliothèques monadiques, comme Lwt. Le but de ce stage est de créer une version du Framework Web Ocsigen qui utilise les effets à la place de Lwt. Ce stage permettra d'acquérir une connaissance approfondie de deux styles de programmation concurrente très évolués, ainsi que de découvrir la programmation d'applications Web et mobile en OCaml. Le stage aura lieu dans les locaux de l’IRILL à Jussieu, en collaboration avec Tarides et l’équipe Ocsigen. Le code sera distribué sous licence libre.

Decription complète du stage sur : https://docs.google.com/document/d/1ax789I8PcrP7BOS1gUOxux713yTesUHwJgD1CFzhGjU

Contacts : stage@ocsigen.org