Programmation Caml

Programmation fonctionnelle en Caml
A. Sigayret

Enseignements à l'UFR ST – ACCUEIL

Présentation :

Jusqu'en 2016-2017, l'UE principale d'informatique (A+B) de L1-S1 est axée essentiellement sur l'initiation à la programmation par la programmation fonctionnelle en Caml. Cette UE est composée de TD et de TP, sans cours magistral, des supports de cours sont mis en ligne sur l'ENT par le coordinateur de l'UE.
Vous trouverez ci-dessous une fiche synthétique du langage Caml résumant les notions abordées, le plan du cours, des supports de TD avec des solutions.

Fiche synthétique du Caml.
Plan de formation :
- (1) Introduction à l'informatique et à la programmation.
- (2) Caractéristiques du Caml ; Les types de données et leur manipulation ; Les variables et l'affectation ; les comparaisons et l'alternative.
- (3) Les fonctions ; le type énuméré ("somme") ; le type produit cartésien ; les paramétrages de type ; le schéma sélectif ("if") et le filtrage ("match").
- (4) La récursivité ; application à la création de listes et d'arbres binaires ; les fonctions d'ordre supérieur.
- (5) Le lambda-calcul et la programmation fonctionnelle. (partie finalement supprimée du programme)
Sujets de TD : TD 1 – TD 2 – TD 3 – TD 4 – TD 5 – TD 6.
Solutions de TD : solution TD 1 – solution TD 2 – solution TD 3 – solution TD 4 – solution TD 5 – solution TD 6.
Organisation des examens :
– un 1er contrôle continu (exemple de sujet),
– un examen intermédiaire (© Université),
– un 2e contrôle continu (exemple de sujet),
– un examen de TP (exemple de sujet),
– un examen terminal (© Université).

2017-07-01 – A. Sigayret