Manuel : Approfondissement

abstraction concrète

1. La récursivité
1.1. Définitions récursives
1.2. Fonctions récursives
1.3. La récursivité mutuelle
2. Le filtrage
2.1. Le filtrage par composants
2.2. Le filtrage par valeurs
2.3. Le filtrage par cas
2.4. L'exhaustivité
2.5. La redondance
2.6. Les gardes
2.6.1 Première approche de l'implémentation de gardes en Caml
2.6.2. Deuxième approche de l'implémentation de gardes en Caml
2.6.3. Troisième approche de l'implémentation de gardes en Caml
2.6.4. Les gardes en Caml
2.7. La conditionnelle par cas
2.8. Le filtrage et la définition de fonctions
3. D'autres types
3.1. Synonymes de types
3.2. Types somme
3.3. Conversion de types
3.4. Types récursifs
3.5. Construction des listes à partir d'un type somme récursif et d'une paire (type produit)
4. Les listes
4.1. Construction des listes
4.2. Représentation des listes en extension
4.3. Concaténation des listes
4.4. Quelques exemples de listes
4.5. Quelques fonctions de listes pré définies
5. Composition et transformation de fonctions
5.1. Composition de fonctions : Les fonctionnelles
5.2. Equivalence d'une fonction à plusieurs arguments avec une fonction à un argument
5.3. Transformation de fonctions à plusieurs variables
5.3.1. Curryfication
5.3.2. Décurryfication
5.4. Règles de transformation des fonctions
5.4.1. Règle de conversion alpha : règle d'interchangeabilité du nom de la variable liée
5.4.2. Règle de conversion béta : règle de réduction - abstraction
5.4.3. Règle de conversion éta : règle d'extensionnalité
6. Les exceptions
6.1. Définition d'une exception
6.2. Déclenchement d'une exception
6.3. Gestion d'exception
7. Programmation modulaire
7.1. Programmation modulaire
7.2. Modules d'implémentation ou module de définition
7.3. Types abstraits
7.4. Modules d'interface : déclarations exportées
7.5. Utilisation des modules
8. Le polymorphisme
8.1. Types polymorphes
8.2. Contraintes de types
8.3. Définition de fonction polymorphe
8.4. Application de fonction polymorphe
8.5. Spécialisation de fonction polymorphe
8.6. Filtrage par fonction polymorphe
8.7. Fonctions génériques et fonctions partielles

dernière modification : 06/12/96