Programmation fonctionnelle

Année 2020-2021 - 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 controle 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. Programmation orientée objet en OCaml
  7. Paresse, flots

Projet

Le sujet de projet sur le jeu de Pacman est en ligne. Le projet est à rendre avant le 13 décembre minuit.

Partiel et examen

Le partiel aura lieu le mercredi 4 novembre de 13:00 à 15:00 en amphi Chimie.

Le partiel aura lieu le mardi 10 novembre de 8:00 à 10:00 en ligne.

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
14/09 Programmer avec des fonctions (pdf) sujet sujet
21/09 Programmer avec des listes (pdf) code sujet sujet
28/09 Programmer avec des arbres (pdf) sujet sujet (pdf) swann.ml
05/10 Programmer de manière impérative (pdf) sujet sujet
12/10 Exceptions et entrées sorties (pdf) sujet sujet
19/10 PAS DE COURS PAS DE TD PAS DE TP
26/10 PAS DE COURS PAS DE TD PAS DE TP
02/11 Compilation et modules (pdf) sujet sujet
09/11 PARTIEL PAS DE TD PAS DE TP
16/11 Modules et foncteurs (pdf) sujet SOUTIEN PROJET
23/11 Labels et objets (pdf) sujet sujet
30/11 Programmer de manière paresseuse (pdf) sujet SOUTIEN PROJET

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://deptinfo.unice.fr/~elozes/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