UFR Informatique

Outils pour utilisateurs

Outils du site

Vous êtes ici : Accueil » formations » licence » ue » l3 » ppo5
formations:licence:ue:l3:ppo5

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Prochaine révision		Révision précédente
formations:licence:ue:l3:ppo5 [2025/01/29 10:43] – créée - modification externe 127.0.0.1formations:licence:ue:l3:ppo5 [2025/01/29 10:50] (Version actuelle) – ↷ Liens modifiés en raison d'un déplacement. admin
Ligne 1: Ligne 1:
 +~~NOTOC~~
  
 +====== Projet de Programmation Fonctionnelle (PPO5) ======
 +===== Description =====
 +
 +Pratique 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 ====
 +
 +  - Mise en place d'un projet OCaml : formatage, test et intégration continue
 +  - Type unit et effets de bord : entrées/sorties avec ''Format''
 +  - Ordre supérieur et modules
 +  - Objets et interface graphique Web avec ''js_of_ocaml''
 +  - Spécification et test dirigé par les propriétés avec ''qcheck''
 +
 +
 +
 +
 +===== Pré-requis =====
 +
 +  * Cours [[..:l1:ipf1|Initiation à la programmation fonctionnelle du L1]]
 +  * Cours [[..:l1:ipf2|Programmation fonctionnelle pour le web du L1]]
 +
 +En particulier, on maîtrisera les aspects suivants du langage OCaml :
 +
 +  * Types de base (int, float, bool, char), déclaration des valeurs
 +  * Fonctions, récursivité, fonctions de premier ordre
 +  * Listes
 +  * Types algébriques : produit, somme, récursion, polymorphisme
 +  * Enregistrements
 +  * Filtrage par motifs
 +  * Exceptions

Outils de la page

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
CC Attribution-Noncommercial-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki