Programmation fonctionnelle

Année 2022-2023 - L3 Info - L2 math-info

Résumé

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

Enseignants

Modalités de contrôle des connaissances

Plan du cours

  1. Programmer avec des fonctions
  2. Listes et pattern matching
  3. Les fonctions d’ordre superieur, les types énumérés, recursifs, et polymorphes
  4. Mutation et style imperatif, exceptions
  5. Modules et foncteurs
  6. Paresse, flots
  7. Programmation multi-coeurs

Projet

Le sujet de projet est disponible. Les projets sont à rendre via la boite de dépôt Moodle avant la date limite indiquée dans le sujet.

Partiel et examen

Le partiel se fait sur machine et comporte des exercices de codage de courtes fonctions.

Session 1 2022-2023:

Annales

Calendrier et supports de cours

Pour naviguer dans les transparents en reveal.js, utiliser ESPACE pour avancer, SHIFT+ESPACE pour reculer, est ESC pour basculer avec la vue générale.

Les corrigés de TD et TP seront mis en ligne au fur et à mesure sur Moodle.

Semaine Cours TD TP
12/09 Programmer avec des fonctions (pdf) sujet sujet pdf
19/09 Programmer avec des listes (pdf) code sujet sujet
26/09 Programmer avec des arbres (pdf) sujet sujet (pdf) swann.ml
03/10 Programmer de manière impérative (pdf) sujet sujet
10/10 Exceptions et entrées sorties (pdf) sujet sujet
17/10 PAS DE COURS PAS DE TD PARTIEL
24/10 Compilation et modules (pdf) sujet sujet
31/10 PAS DE COURS PAS DE TD PAS DE TP
07/11 Modules et foncteurs (pdf) sujet SOUTIEN PROJET
14/11 PAS DE COURS PAS DE TD PAS DE TP
21/11 Programmer de manière paresseuse (pdf) sujet SOUTIEN PROJET
28/11 PAS DE COURS PAS DE TD PAS DE TP
5/12 Programmation multicoeur (pdf) TD (pdf) TP (pdf)

Ressources

Pour trouver de nombreuses ressources sur OCaml, rien de tel que la page ocaml.org. Ci-dessous une petite sélection de ce qui pourrait vous être utile.

Pour les TPs au Petit Valrose

Il vous faudra installer opam, tuareg, et d’autres choses.

La méthode la plus simple est d’utiliser le script d’installation fourni ci-dessous. Dans un terminal tapez

rm -f install-opam-valrose.sh
wget http://i3s.unice.fr/~elozes/enseignement/PF/install-opam-valrose.sh
bash install-opam-valrose.sh

puis répondez y quand on vous demande si vous êtes d’accord pour modifier votre .profile ou votre .bashrc.

Vous pouvez aussi suivre le guide d’installation pas à pas et taper les commandes vous-même, pour comprendre ce que fait le script.

Pour faire le point sur votre installation, lisez ceci.

Installation sur un ordinateur personnel

Logiciels conseillés

Lectures recommandées