Composante
UFR Sciences et Montagne
Description
On étudiera les bases de la programmation purement fonctionnelle et notamment la récursion, aussi bien au niveau des fonctions récursives que des types algébriques. On étudiera en particulier les types entiers, les records, le tuples, les listes et les arbres.
Les TDs et les TPs mettront en œuvre les concepts du cours en OCaml.
Heures d'enseignement
- Programmation fonctionnelle - CMCours Magistral6h
- Programmation fonctionnelle - TDTravaux Dirigés9h
- Programmation fonctionnelle - TPTravaux Pratiques12h