Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| formations:licence:ue:l1:ipf2 [2025/01/29 10:50] – supprimée - modification externe (Date inconnue) 127.0.0.1 | formations:licence:ue:l1:ipf2 [2025/01/29 10:50] (Version actuelle) – ↷ Page déplacée de playground:formations:licences:ue:l1:ipf2 à formations:licence:ue:l1:ipf2 admin | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| + | ~~NOTOC~~ | ||
| + | ====== Introduction à la Programmation Fonctionnelle 2 (IPF2) ====== | ||
| + | |||
| + | ===== Description ===== | ||
| + | |||
| + | L' | ||
| + | |||
| + | * utiliser des fonctionnalités supplémentaires du langage OCaml (par rapport à celles vues en cours d' | ||
| + | * écrire en OCaml des clients web capables d' | ||
| + | |||
| + | ===== Syllabus ===== | ||
| + | ==== Sujets centraux ==== | ||
| + | |||
| + | - Types algébriques | ||
| + | * Listes (rappel) | ||
| + | * Arbres | ||
| + | * Types inductifs en général | ||
| + | - Traits impératifs d' | ||
| + | * Enregistrements modifiables et références | ||
| + | * Tableaux et boucles | ||
| + | * Exceptions | ||
| + | * Interférences (// | ||
| + | - Modules | ||
| + | * Utilisation de modules de la bibliothèque standard, notamment les conteneurs (String, List, Map, Set, etc.) | ||
| + | * Définition de nouveaux modules | ||
| + | * Signatures et types abstraits | ||
| + | * Compilation séparée | ||
| + | - Web | ||
| + | * Représentation de documents HTML | ||
| + | * Manipulation de données JSON | ||
| + | * Communication avec un serveur web | ||
| + | |||
| + | |||
| + | ===== Pré-requis ===== | ||
| + | |||
| + | Ce module s' | ||