Manuel : Compléments

abstraction concrète
1. L'évaluation
1.1. L'évaluation retardée
1.2. Les expressions de flux en Caml-Light
1.3. Les ensembles infinis
2. Les types de données mutables et la mémoire
2.1. Mémoire et environnement
2.2. Références
2.2.1. Définition
2.2.2. Déréférencement
2.2.3. Affectation
2.3. Champs mutables dans un enregistrement
2.3.1. Définition d'un enregistrement contenant des champs mutables
2.3.2. Evaluation d'un champ d'enregistrement
2.3.3. Affectation dans un enregistrement contenant des champs mutables
2.4. Champs mutables dans un type somme
2.4.1. Définition d'un type variant
2.4.2. Evaluation d'un variant
2.4.3. Affectation
2.5. Vecteurs
2.5.1. Définition d'un vecteur
2.5.2. Evaluation des éléments d’un vecteur
2.5.3. Affectation
3. La séquentialité
3.1. Séquentialité et structure de programme
3.2. Programmation fonctionnelle
3.3. Programmation impérative
4. Les boucles d'itération
4.1. Implémentation fonctionnelle de while
4.2. Implémentation fonctionnelle de for

dernière modification : 06/12/96