Ce cours développe les  principes de la programmation fonctionnelle, qui correspond à un paradigme se fondant sur les fonctions,  la  récursivité  et les opérateurs d’ordre supérieur. Ce paradigme garantit une fiabilité et une sûreté importante dans le développement des programmes.  Le langage étudié sera OCAML. Les notions de cours seront appliquées et illustrées par des travaux dirigés sur ordinateur.

Les notions abordées  dans ce cours sont:

Apprentissage de la programmation fonctionnelle:

• Calcul d'expressions 
• Structure de contrôle: If .. then ..else … , match … with …
• Programmation de fonctions simples  
• Programmation de fonctions récursives

 Etude du typage: 

• Types simples 
•  Polymorphisme
• Type de données structurées:  Liste, Tuple,  Somme, Enregistrement

Initiation à la programmation d'ordre supérieur: 

• Opérateurs Map et Fold
• Cas d'étude