Programmation fonctionnelle

Année 2021-2022 - 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 enumeres, recursifs, et polymorphes
  4. Mutation et style imperatif, exceptions
  5. Modules et foncteurs
  6. Paresse, flots
  7. Programmation multi-coeurs

Projet

Le sujet du projet est désormais en ligne. Le projet est à rendre pour le 5 décembre minuit.

Partiel et examen

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
13/09 Programmer avec des fonctions (pdf) sujet sujet pdf
20/09 Programmer avec des listes (pdf) code sujet sujet
27/09 Programmer avec des arbres (pdf) sujet sujet (pdf) swann.ml
04/10 Programmer de manière impérative (pdf) sujet sujet
11/10 Exceptions et entrées sorties (pdf) sujet sujet
18/10 PAS DE COURS PAS DE TD PARTIEL
25/10 Compilation et modules (pdf) sujet sujet
01/11 PAS DE COURS PAS DE TD PAS DE TP
08/11 Modules et foncteurs (pdf) sujet SOUTIEN PROJET
15/11 Programmer de manière paresseuse (pdf) sujet SOUTIEN PROJET
22/11 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