Programmation fonctionnelle

Apprentissage des primitives de la programmation fonctionnelle à travers le langage OCaml.

La programmation fonctionnelle est un des paradigmes principaux de programmation que tout informaticien doit connaître. En particulier, elle permet de programmer très facilement avec des types de données structurées (comme par exemple lors de la conception de compilateur). Cette forme de programmation sans état est également très importante pour le calcul distribué (voir MapReduce).

On retrouve désormais des aspects de programmation fonctionnelle dans des langages aussi répandus que Java et Python. Néanmoins, l'utilisation d'un langage dédié est recommandé pour profiter au mieux des possibilités de ce paradigme de programmation, en particulier au niveau du typage. C'est pourquoi ce cours s'appuiera sur le langage OCaml.

Sujets centraux

1. Types de base (int, float, bool, char), déclaration des valeurs
2. Fonctions, récursivité, fonctions de premier ordre
3. Listes
4. Types algébriques : produit, somme, récursion, polymorphisme
5. Enregistrements
6. Filtrage par motifs
7. Exceptions
8. Type unit et effets de bord : input/output, traits impératifs.
9. Stratégies d'évaluation et efficacité, exemples de modélisation impérative et fonctionnelle.
10. Algorithme de typage