Programmation fonctionnelle

Ressources générales

• Groupe d'entraide mailing list Google
• La documentation indispensable : Xavier Leroy et al. The OCaml system : documentation and user’s manual Inria, 2018.
• Emmanuel Chailloux, Pascal Manoury et Bruno Pagano. Développement d’Applications avec Objective Caml. O’Reilly, 2000.
• Pascal Manoury. Programmation de droite à gauche, et vice-versa. Paracamplus, 2012.
• Sylvain Conchon et Jean-Christophe Filliâtre. Apprendre à programmer avec OCaml. Eyrolles, 2013.
• Yaron Minsky, Anil Madhavapeddy, Jason Hickey - Real World OCaml - O’Reilly - 2013
• MOOC OCaml

Liste des cours et TDs

• Cours 1 et TD 1 : Introduction à la programmation fonctionnelle
  
  • Ressources : Corrections TD1
• Cours 2 et TD 2 : Types algébriques
  
  • Ressources : Corrections TD2
• Cours 3 et TD 3 : Traits impératifs
  
• Cours 4 et TD 4 : Programmation modulaire
  
  • Ressources : Corrections TD4

Corrections évaluation

• Correction Evaluation 1
• Correction Evaluation 2

Projet programmation OCaml

Le sujet est disponible ici.

Template du projet compilable avec Dune.