Outils pour utilisateurs

Outils du site


Panneau latéral



Contacts

Scolarité L1/L2

Audrey Dalla Francesca (coordinatrice Licence et Master, en appui à la gestion pédagogique L1-L2)
téléphone 01 57 27 94 36
bureau Sophie Germain - Bur. 3055
En télétravail les jeudis et vendredis
(permanences Zoom : 14h00-17h00)

connexion à la permanence d'Audrey Dalla Francesca (code: 482147)

Marie Chandellier (gestionnaire L1 et L2)
téléphone 01 57 27 94 99
bureau Sophie Germain - Bur. 3055
Ne travaille pas les vendredis
(permanences Zoom du lundi au jeudi: 10h00-12h00)

connexion à la permanence de Marie Chandellier (code: 222732)


Scolarité L3

Raja Taimes
téléphone 01 57 27 68 93
bureau Sophie Germain - Bur. 3005
En télétravail les mercredis et vendredis
(permanences Zoom : 10h00-12h00 ; 14h00-15h00)

connexion à la permanence de Raja Taimes (code: 481714)

formations:licences:ue:l3:pf5

Programmation Fonctionnelle (PF5)

Description

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.

Syllabus

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.

Sujets potentiellement traités

Pré-requis

formations/licences/ue/l3/pf5.txt · Dernière modification : 2023/09/14 15:05 de kesner