Introduction à la programmation fonctionnelle 1 (IPF1)

Description

L'objectif principal de ce module est de donner à voir les principes de la programmation fonctionnelle, par opposition à la programmation impérative. Pour ce faire, nous apprendrons les bases du langage OCaml qui sera pratiqué en TP et qui sera aussi utilisé dans le module de Introduction à la Programmation Fonctionnelle au second semestre.

Syllabus

Sujets centraux

  1. Expressions
    • Variables
    • Déclarations locales et globales
    • Expressions conditionnelles
  2. Fonctions
    • Fonctions anonymes
    • Composition
    • Fonctions d'ordre supérieur
    • Fonctions polymorphes
    • Fonctions récursives
  3. Types
    • Déclaration
    • Types somme
    • Types paramétrés
  4. Listes
    • Parcours de liste
    • Fonctions de pliage
    • Listes de listes

Pré-requis

Ce module s'adresse à des étudiants ayant déjà des bases d'algorithmique et de programmation, par exemple grâce à la spécialité Numérique et Sciences Informatiques du lycée.