Programmation fonctionnelle

Ce cours est une introduction à la programmation fonctionnelle typée. Le langage support pour le cours est OCaml.

Parcours : tronc commun (parcours général et parcours I.A.).

Public

Ce cours est destiné aux étudiants de L2 informatique (parcours général et parcours I.A.) et de L2 math-info.

Objectifs

À la fin de ce cours, l’étudiant doit être capable de :

• comprendre le paradigme de programmation fonctionnelle ;
• écrire des fonctions récursives ;
• utiliser les types de base, les types polymorphes et les types inductifs (listes, arbres…).

Contenu

1. Listes, pattern matching, exceptions
2. Fonctions d’ordre superieur, polymorphisme.
3. Mutation et style imperatif.
4. Modules et foncteurs. Structures de données.
5. Paresse, flots.
6. Programmation multicoeur

Contrôle des connaissances

• 1/3 Partiel
• 1/3 Projet
• 1/3 Examen terminal

Projets des dernières années

• librairie de dessin “à la Racket”
• Pacman
• Parcoursup

Pour en savoir plus

https://www.i3s.unice.fr/~elozes/enseignement/PF/