Sommaire
Racine
Sommaire
Cours 1 : Introduction
1. Introduction
2. Généralités
3. Premier exemple
4. Expressions, Types
5. Abstractions
6. Fonctions, Applications
7. Couples
8. Modules, Librairie
Cours 2 : Types paramétrés
1. Types
2. Types polymorphes
3. Types paramétrés
4. QuickCheck
5. Les conteneurs
6. Les producteurs
7. Les consommateurs
8. Autres types
Cours 3 : Listes
1. Structures de données
2. Les listes
3. Tester des listes
4. Les tranformer
5. Les réduire
6. Un exemple
7. Encore des listes
8. Listes associatives
9. Faire des choix
Cours 4 : Types algébriques
1. Représentation des données
2. Filtrage par motifs
3. Types produits
4. Types sommes
5. Types inductifs
6. Algorithmes inductifs
7. Les listes
8. Un exemple complet
9. Les variants polymorphes
Cours 5 : Combinateurs
1. Les combinateurs
2. Combinateurs d'écriture
3. L'analyse syntaxique
4. Représentation des parseurs
5. Combinateurs de parsing
6. Un exemple
Cours 6 : Modules et foncteurs
1. Modules et interfaces
2. Interfaces usuelles
3. Foncteurs
4. Étendre un module
5. Exemple complet
Version & licenses
Sommaire du cours
Guyslain
Thursday, 21 July 2016
Introduction, expressions, types et fonctions.
introduction,
principes généraux de la programmation fonctionnelle,
un premier exemple de code,
expressions et types simples,
abstractions,
fonctions et applications,
couples, triplets et plus,
modules, utilisation d'un module externe.
Types paramétrés et polymorphisme
les types,
les types polymorphes,
les types paramétrés,
QuickCheck,
les conteneurs,
les producteurs,
les consommateurs,
les autres.
Listes et structures de données.
les structures de données en fonctionnel,
les listes, définition,
tester les listes,
transformer les listes,
calculer une valeur en fonction d'une liste,
un exemple complet,
construire une liste, et d'autres fonctions de listes,
les listes associatives,
faire des choix.
Représenter des données.
représentation, construction et observation,
filtrage par motifs,
types produits,
types sommes,
types inductifs,
et algorithmes inductifs,
les listes,
un exemple complet,
les variants polymorphes.
Combinateurs : étude d'un exemple.
les combinateurs,
des combinateurs pour la conversion en chaînes de caractères,
les grammaires et l'analyse syntaxique,
représentation des parseurs,
les combinateurs de parsing,
un exemple,
Un parseur d'expressions arithmétiques.
Modules et foncteurs.
modules et interfaces,
interfaces usuelles,
les foncteurs,
étendre un module avec un foncteur,
exemple d'utilisation de foncteurs.
