E. Lozes

Programmation fonctionnelle

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

L3-INFO 6 ECTS 18h cours + 18h TD + 18h TP S5 Site web etienne.lozes@univ-cotedazur.fr

Public

Ce cours est destiné aux L2 math-info et aux L3 info.

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

Pour en savoir plus

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