Droit
LERIA
ALGORITHMIQUE ET PROGRAMMATION FONCTIONNELLE
EN LANGAGE CAML
Cours et Exercices
D. Pacholczyk & M. Chachoua
UNIVERSITE D’ANGERS
Page 2
Table des Matières
CHAPITRE 1. LES CONCEPTS FONDAMENTAUX 1. La programmation fonctionnelle 1.1. Les mondes de l’impératif et du fonctionnel. 1.2. Les principes de base. 2. Session en programmation fonctionnelle. 2.1. La programmation fonctionnelle en mode interactif. 2.2. Notion de session. 3. La notion d’environnement en programmation fonctionnelle. 3.1. Définition et liaisons. 3.2. Environnement (ou contexte, ou script). 3.3. Portée d’un identificateur. 3.4. CAML et les sessions. 4. L’analyse des expressions et des scripts. 4.1. La réduction. 4.2. L’univers des types. 4.3. Le principe du typage fort. 4.4. Les deux niveaux d’analyse des expressions. 4.5. Les deux niveaux d’analyse des scripts. 5. Spécification et Implémentation. 6. Exercices.
CHAPITRE 2. LES FONCTIONS 1. Type fonctionnel et valeur fonctionnelle. 1.1. Les fonctions mathématiques. 1.2. Définition d’une fonction en mathématiques. 1.3. Les fonctions en programmation fonctionnelle.
D. PACHOLZCYK & M. CHACHOUA
LERIA
Page 3
1.4. Les paramètres de type. 1.5. Vers un langage des expressions dénotant les types. 2. Déclarations de fonctions. 2.1. Formule de calcul unique. 2.2. Calcul de la valeur par séparation des cas. 2.3. L’alternative simple. 3. Les définitions locales. 3.1. Pas de séparation des cas. 3.2. Séparation des cas. 3.3. Les définitions locales en CA ML 3.4. Les fonctions en CAML 4. Les définitions récursives. 4.1. Les fonctions récursives en programmation fonctionnelle. 4.2. Les fonctions récursives en CAML. 5. Exercices.
CHAPITRE 3. LES TYPES FONDAMENTAUX 1. Introduction. 2. Les nombres ( le type num). 2.1. Les valeurs numériques. 2.2. Les règles de priorité. 2.3. Les règles d'association. 2.4. Un exemple d'utilisation (algorithme et programme CAML).