Ce cours donne une introduction théorique et pratique à la programmation fonctionnelle dans des langages modernes fortement typés. Nous étudierons en profondeur les notions de types algébriques, de fonctions d'ordre supérieur, de polymorphisme et d'effets de bord. Des projets sont réalisées en Haskell, mais les concepts présentés dans le cours sont applicables dans de nombreux autres langages, notamment OCaml et Python.