Programmation fonctionnelle

Année 2023-2024 - L3 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 supérieur, les types énumérés, récursifs, et polymorphes
  4. Mutation et style impératif, exceptions
  5. Modules et foncteurs
  6. Paresse, flots
  7. Programmation multi-coeurs

Projet

Le sujet de projet est en ligne.

Partiel

sujet 2023-2024

Examen

L’examen de session 1 a eu lieu. Son corrigé est 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
25/09 Programmer avec des fonctions (pdf) sujet sujet pdf
02/10 Programmer avec des listes (pdf) code sujet sujet
09/10 Programmer avec des arbres (pdf) sujet sujet (pdf) swann.ml
16/10 Programmer de manière impérative (pdf) sujet sujet
23/10 Exceptions et entrées sorties (pdf) sujet sujet
30/10 PAS DE COURS PAS DE TD PAS DE TP
06/11 PARTIEL PAS DE TD PAS DE TP
13/11 Compilation et modules (pdf) sujet sujet
20/11 Modules et foncteurs (pdf) sujet SOUTIEN PROJET
27/11 Programmer de manière paresseuse (pdf) sujet SOUTIEN PROJET
04/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: suivez le guide d’installation pas à pas.

Pour faire le point sur votre installation, lisez ceci.

Installation sur un ordinateur personnel

Logiciels conseillés

Lectures recommandées