L'objectif principal de ce module est de donner à voir les principes de la programmation fonctionnelle, par opposition à la programmation impérative. Pour ce faire, nous apprendrons les bases du langage OCaml qui sera pratiqué en TP et qui sera aussi utilisé dans le module de programmation fonctionnelle pour le web au second semestre.

1. Expressions
   • Variables
   • Déclarations locales et globales
   • Expressions conditionnelles
2. Fonctions
   • Fonctions anonymes
   • Composition
   • Fonctions d'ordre supérieur
   • Fonctions polymorphes
   • Fonctions récursives
3. Types
   • Déclaration
   • Types somme
   • Types paramétrés
4. Listes
   • Parcours de liste
   • Fonctions de pliage
   • Listes de listes

Ce module s'adresse à des étudiants ayant déjà des bases d'algorithmique et de programmation, par exemple grâce à la spécialité Numérique et Sciences Informatiques du lycée.