Manuel : Notions de base

abstraction concrète

1. Commentaires
2. Identificateurs et expressions
2.1. Identificateurs
2.2. Expressions
3. Type et valeur d'une expression
3.1. Quelques types pré définis
3.1.1. Le type int
3.1.2. Le type float
3.1.3. Le type bool
3.1.4. Le type char
3.1.5. Le type string
3.1.6. Le type unit
3.1.7. L'égalité structurelle = et l'inégalité structurelle
3.2. Déclaration de types et synthèse de types
3.3. Expressions de type
4. Déclarations et environnement
4.1. Définitions et liaisons
4.2. Environnements
4.3. Définitions globales
4.4. Définitions locales
5. Les modules
6. L'expression conditionnelle
6.1. Syntaxe, typage, évaluation de l'expression conditionnelle
6.2. Contrôle de l'évaluation de l'expression conditionnelle
6.2.1. Contrôle au moyen de la fonction failwith
6.2.2. Contrôle au moyen de la fonction invalid_arg
7. Le type construit et le type produit
7.1. Le type construit
7.2. Le type produit cartésien : les tuples
7.3. Le type enregistrement
8. Les fonctions
8.1. Fonctions à une variable et fonctions à un argument
8.2. Fonctions à plusieurs variables et fonctions à un argument
8.3. Fonctions à plusieurs variables et fonctions à plusieurs arguments
8.4. Exemples de définition de fonction
8.5. Fonctions anonymes
8.6. Fonctions nommées
8.7. Définitions de fonctions nommées
8.8. Variables liées et variables libres
8.9. Exemples de typage des fonctions
8.10. Evaluation d'une fonction, fermeture, valeur fonctionnelle
8.11. Fonctions partielles
8.12. Types fonctionnels
9. Les applications
9.1. Syntaxe des applications
9.2. Typage des applications
9.3. Evaluation des applications
9.4. Applications partielles

dernière modification : 06/12/96