Développement d'applications avec


Emmanuel CHAILLOUX - Pascal MANOURY - Bruno PAGANO

Avant-propos

• Préambule

Introduction

• Objectifs
• Description du langage
  • Structuration d'un programme
  • Sûreté et efficacité de l'exécution
• Plan de l'ouvrage

Chapitre 1   Comment obtenir Objective CAML

• Logiciels libres
• Description du Cédérom
• Téléchargement
• Installation
  • Installation sous Windows
  • Installation sous Linux
  • Installation sous MacOS
  • Installation sous Unix à partir des sources
  • Installation de la documentation HTML
• Test de l'installation

Partie I
Noyau du langage

• Présentation de la partie I

Chapitre 2   Programmation fonctionnelle

• Introduction
• Plan du chapitre
• Noyau fonctionnel d'Objective CAML
  • Valeurs, fonctions et types de base
  • Structure de contrôle conditionnelle
  • Déclarations de valeurs
  • Expressions fonctionnelles, fonctions
  • Polymorphisme et contrainte de type
  • Exemples
• Déclaration de types et filtrage de motif
  • Filtrage de motif (pattern matching)
  • Déclaration de types
  • Enregistrements
  • Types somme
  • Types récursifs
  • Types paramétrés
  • Portée des déclarations
  • Types fonctionnels
  • Exemple : représentation des arbres
  • Valeurs récursives non fonctionnelles
• Typage, domaine de définition et exceptions
  • Fonctions partielles et exceptions
  • Définition d'une exception
  • Déclenchement d'une exception
  • Récupération d'une exception
• Polymorphisme et valeurs de retour des fonctions
• Calculatrice de bureau
• Exercices
  • Fusion de deux listes
  • Arbres lexicaux
  • Parcours de graphes
• Résumé
• Pour en savoir plus

Chapitre 3   Programmation impérative

• Introduction
• Plan du chapitre
• Structures de données physiquement modifiables
  • Vecteurs
  • Chaînes de caractères
  • Champs modifiables des enregistrements
  • Références
  • Polymorphisme et valeurs modifiables
• Entrées-sorties
  • Canaux
  • Lecture et écriture
  • Exemple : C+/C-
• Structures de contrôle
  • Séquence
  • Boucles
  • Exemple : implantation de piles
  • Exemple : calcul sur les matrices
• Ordre d'évaluation des arguments
• Calculatrice à mémoire
• Exercices
  • Listes doublement chaînées
  • Résolution de systèmes linéaires
• Résumé
• Pour en savoir plus

Chapitre 4   Styles fonctionnel et impératif

• Introduction
• Plan du chapitre
• Comparaison entre fonctionnel et impératif
  • Du côté du fonctionnel
  • Du côté impératif
  • Récursif ou itératif
• Quel style choisir ?
  • Séquence ou composition de fonctions
  • Partage ou copie de valeurs
  • Éléments de choix
• Mélange des styles
  • Fermetures et effets de bord
  • Modifications physiques et exceptions
  • Structures de données fonctionnelles modifiables
  • Structures paresseuses modifiables
• Flots de données
  • Construction
  • Destruction et filtrage de flots
• Exercices
  • Arbres binaires
  • Correcteur orthographique
  • Ensemble des nombres premiers
• Résumé
• Pour en savoir plus

Chapitre 5   Interface graphique

• Introduction
• Plan du chapitre
• Mise en oeuvre du module Graphics
• Notions de base
• Affichage graphique
  • Repère et contexte graphique
  • Couleurs
  • Tracé et remplissage
  • Texte
  • Bitmaps
  • Exemple : tracé de boîtes en relief
• Animation
• Événements
  • Types et fonctions sur les événements
  • Squelette de programme
  • Exemple : le télécran
• Calculatrice graphique
• Exercices
  • Coordonnées polaires
  • Éditeur de bitmaps
  • Ver de Terre
• Résumé
• Pour en savoir plus

Chapitre 6   Applications

• Introduction
• Requêtes sur une base de données
  • Format des données
  • Lecture d'une base depuis un fichier
  • Principes généraux des traitements
  • Critères de sélection
  • Traitements et calculs
  • Un exemple
  • Pour en faire plus
• Interprète BASIC
  • Syntaxe abstraite
  • Affichage des programmes
  • Analyse lexicale
  • Analyse syntaxique
  • Évaluation
  • Mise en oeuvre
  • Pour en faire plus
• Démineur
  • Le champ de mines abstrait
  • Affichage du jeu Démineur
  • Interaction entre le programme et le joueur
  • Pour en faire plus

Partie II
Outils de Développement

• Présentation de la partie II

Chapitre 7   Modes de compilation et portabilité

• Introduction
• Plan du chapitre
• Étapes de compilation
  • Les compilateurs d'Objective CAML
  • Description du compilateur de code-octet
• Modes de compilation
  • Noms des commandes
  • Unité de compilation
  • Nommage des extensions de fichiers
  • Compilateur de code-octet
  • Compilateur natif
  • Boucle d'interaction
  • Construction de nouvelles boucles d'interaction
• Exécutables autonomes
• Portabilité et efficacité
  • Autonomie et portabilité
  • Efficacité d'exécution
• Exercices
  • Création de toplevels et d'exécutables autonomes
  • Comparaison de performances
• Résumé
• Pour en savoir plus

Chapitre 8   Bibliothèques

• Introduction
• Plan du chapitre
• Découpage et utilisation des bibliothèques
• Bibliothèque préchargée
• Bibliothèque standard
  • Utilitaires
  • Structures de données linéaires
  • Entrées-sorties
  • Persistance
  • Interface avec le système
• Autres bibliothèques de la distribution
  • Arithmétique exacte
  • Chargement dynamique de code
• Exercices
  • Résolution de systèmes linéaires
  • Recherche de nombres premiers
  • Affichage de bitmaps
• Résumé
• Pour en savoir plus

Chapitre 9   Récupérateur automatique de mémoire

• Introduction
• Plan du chapitre
• Mémoire et programme
• Allocation et récupération mémoire
  • Allocation explicite
  • Récupération explicite
  • Récupération implicite
• Récupération automatique
  • Compteurs de références
  • Algorithmes explorateurs
  • Mark&Sweep
  • Stop&Copy
  • Autres GC
• Gestion mémoire en Objective CAML
• Module Gc
• Module Weak
• Exercices
  • Suivi de l'évolution du tas
  • Allocation mémoire et styles de programmation
• Résumé
• Pour en savoir plus

Chapitre 10   Outils d'analyse des programmes

• Introduction
• Plan du chapitre
• Calcul des dépendances
• Outils de mise au point
  • Trace
  • Debug
  • Suivi du contrôle d'exécution
• Profiling
  • Commandes de compilation
  • Exécution d'un programme
  • Présentation des résultats
• Exercices
  • Traces d'applications
  • Évaluation des performances
• Résumé
• Pour en savoir plus

Chapitre 11   Outils d'analyses lexicale et syntaxique

• Introduction
• Plan du chapitre
• Lexique
  • Le module Genlex
  • Utilisation des flots
  • Expressions rationnelles
  • La bibliothèque Str
  • L'outil ocamllex
• Syntaxe
  • Grammaire
  • Production et reconnaissance
  • Analyse descendante
  • Analyse ascendante
  • L'outil ocamlyacc
  • Grammaires contextuelles
• Basic revisité
  • Le fichier basic_parser.mly
  • Le fichier basic_lexer.mll
  • Compilation, intégration
• Exercices
  • Suppression de commentaires
  • Évaluateur
• Résumé
• Pour en savoir plus

Chapitre 12   Interopérabilité avec C

• Introduction
• Plan du chapitre
• Communication entre C et Objective CAML
  • Déclarations externes
  • Déclaration des fonctions C
  • Édition de liens avec C
  • Entrées-sorties des deux mondes
• Exploration des valeurs Objective CAML en C
  • Classification des valeurs de type value
  • Accès aux valeurs immédiates
  • Discrimination des valeurs structurées
• Créer et modifier des valeurs Objective CAML en C
  • Modification des valeurs Objective CAML
  • Allocation de nouveaux blocs
  • Des valeurs C dans le tas Objective CAML
  • Paramètres, variables locales des fonctions C et GC
  • Appel d'une fermeture Objective CAML depuis C
• Gestion des exceptions en C et en Objective CAML
  • Déclencher une exception prédéfinie
  • Déclencher une exception quelconque
  • Rattraper une exception
• Programme principal en C
  • Inclure du code Objective CAML en C
• Exercices
  • Affichage polymorphe
  • Produit de matrices : partage ou copie
  • Compter les mots : programme principal en C
• Résumé
• Pour en savoir plus

Chapitre 13   Applications

• Introduction
• Construction d'une interface graphique
  • Contexte graphique, événements et options
  • Composants et conteneurs
  • Gestion des événements
  • Définition de composants
  • Enrichissement des composants
  • Création de la bibliothèque Upi
  • Exemple : un convertisseur Francs/Euros
  • Pour en faire plus
• Recherche de chemins de moindre coût
  • Représentation des graphes
  • Algorithme de Dijkstra
  • Utilisation d'un cache
  • Interface graphique
  • Application autonome
  • Pour en faire plus

Partie III
Organisation d'Applications

• Présentation de la partie III

Chapitre 14   Programmation modulaire

• Introduction
• Plan du chapitre
• Modules simples
  • Interface et implantation
  • Relation entre interface et implantation
  • Compilation séparée
• Langage des modules simples
  • Deux modules pour les piles
  • Modules et portée lexicale
  • Partage de types entre modules
  • Modules simples et extension
• Modules paramétrés
  • Foncteurs et réutilisabilité
  • Déclarations locales de modules
• Exemple : gestion de comptes bancaires
  • Organisation de l'application
  • Signatures des modules paramètres
  • Module général paramétré de gestion
  • Définition des paramètres
• Exercices
  • Listes d'association
  • Vecteurs paramétrés
  • Arbres lexicaux
• Résumé
• Pour en savoir plus

Chapitre 15   Programmation par objets

• Introduction
• Plan du chapitre
• Classes, objets et méthodes
  • Terminologie objet
  • Déclaration d'une classe
  • Création d'une instance
  • Envoi d'un message
• Relations entre classes
  • Relation d'agrégation
  • Relation d'héritage
• Autres traits objet
  • Référencements : self et super
  • Liaison retardée
  • Représentation mémoire et envoi de messages
  • Initialisation
  • Méthodes privées
• Types et généricité
  • Classes et méthodes abstraites
  • Classes, types et objets
  • Héritage multiple
  • Classes paramétrées
• Sous-typage et polymorphisme d'inclusion
  • Exemple
  • Sous-typage n'est pas héritage
  • Polymorphisme d'inclusion
  • Égalité entre objets
• Style fonctionnel
• Autres éléments de l'extension objet
  • Interface
  • Déclarations locales dans les classes
• Exercices
  • Piles en objet
  • Liaison retardée
  • Classes abstraites et évaluateur d'expressions
  • Jeu de la vie en objet
• Résumé
• Pour en savoir plus

Chapitre 16   Comparaison des modèles d'organisation

• Introduction
• Plan du chapitre
• Comparaison modules et objets
  • Traduction de modules en classes
  • Simulation d'héritage avec des modules
  • Limitations de chaque modèle
• Étendre les composants
  • En fonctionnel
  • En objet
  • Extension des données et des traitements
• Organisations mixtes
• Exercices
  • Classes et modules pour structures de données
  • Types abstraits
• Résumé
• Pour en savoir plus

Chapitre 17   Applications

• Introduction
• Jeux à deux joueurs
  • Problématique des jeux à 2 joueurs
  • Minimax ab
  • Organisation d'un programme de jeux
  • Puissance 4
  • Stone Henge
  • Pour en faire plus
• Des robots en goguette
  • Robots << éthérés >>
  • Monde pur
  • Robots textuels
  • Monde textuel
  • Robots graphiques
  • Monde graphique
  • Pour en faire plus

Partie IV
Concurrence et répartition

• Présentation de la partie IV

Chapitre 18   Communication et processus

• Introduction
• Plan du chapitre
• Module Unix
  • Gestion des erreurs
  • Portabilité des appels système
• Descripteurs de fichier
  • Manipulation des fichiers
  • Entrées-sorties sur un fichier
• Processus
  • Exécution d'un programme
  • Lancement de processus
  • Création d'un processus par duplication
  • Ordre et moment d'exécution
  • Filiation, mort et funérailles d'un processus
• Communication entre processus
  • Tubes de communication
  • Canaux de communication
  • Signaux sous Unix
• Exercices
  • Compter les mots : la commande wc
  • Pipeline pour correcteur orthographique
  • Trace interactive
• Résumé
• Pour en savoir plus

Chapitre 19   Programmation concurrente

• Introduction
• Plan du chapitre
• Processus concurrents
  • Compilation avec processus légers
  • Module Thread
• Synchronisation des processus
  • Section critique et exclusion mutuelle
  • Module Mutex
  • Attente et synchronisation
  • Module Condition
• Communication synchrone
  • Synchronisation sur événements de communication
  • Valeurs transmises
  • Module Event
• Exemple : bureau de Poste
  • Le matériel
  • Clients et guichetiers
  • L'ensemble
• Exercices
  • Les philosophes débloqués
  • La poste en fait plus
  • Producteurs et consommateurs d'objet
• Résumé
• Pour en savoir plus

Chapitre 20   Programmation répartie

• Introduction
• Plan du chapitre
• Réseau Internet
  • Module Unix et adressage IP
• Prises de communication
  • Description et création
  • Adresses et connexions
• Client-serveur
  • Schéma d'actions d'un client-serveur
  • Programmation d'un client-serveur
  • Code du serveur
  • Tester avec telnet
  • Code du client
  • Client-serveur avec processus légers
  • Client-serveur à plusieurs niveaux
  • Remarques sur les client-serveur réalisés
• Protocoles de communication
  • Protocole texte
  • Protocoles avec acquittement et limite de temps
  • Transmission de valeurs en représentation interne
  • Interopérer avec d'autres langages
• Exercices
  • Service : horloge
  • Une machine à café en réseau
• Résumé
• Pour en savoir plus

Chapitre 21   Applications

• Introduction
• Boîte à outils client-serveur
  • Protocoles
  • Communication
  • Serveur
  • Client
  • Pour en faire plus
• Les robots de l'aube
  • Monde-Serveur
  • Client-Observateur
  • Client-Robot
  • Pour en faire plus
• Servlets HTTP
  • Formats HTTP et CGI
  • Interface HTML pour un servlet
  • Pages dynamiques pour la gestion d'associations
  • Analyse des requêtes et réponse
  • Programme principal et application
  • Pour en faire plus

Chapitre 22   Développement d'applications en Objective CAML

• Introduction
• Éléments d'évaluation
  • Langage
  • Bibliothèques et outils
  • Documentation
• Autres outils de développement
  • Outils d'édition
  • Extension de syntaxe
  • Interopérabilité avec d'autres langages
  • Interfaces graphiques
  • Programmation parallèle et distribution
• Applications réalisées en Objective CAML
• Langages fonctionnels proches
  • Famille ML
  • Scheme
  • Langages à évaluation retardée
  • Langages de communication
• Langages à Objet : comparaison avec Java
  • Principales caractéristiques
  • Différences avec Objective CAML
• Avenir des développements en Objective CAML

Conclusion

• Texte

Partie V
Annexes

Annexe A   Types cycliques

• Introduction
• Types cycliques
• Option -rectypes

Annexe B   Objective CAML 2.99

• Introduction
• Extensions du langage
  • Moderne ou Classique
  • Labels
  • Paramètres optionnels
  • Labels et objets
  • Constructeurs polymorphes
• Bibliothèque LablTk
• Navigateur OCamlBrowser

Références

• Bibliographie

Index

• Index des concepts

• Index des éléments du langage

Parutions O'Reilly

• Contacts

Ce document a été traduit de L^AT_EX par H^EV^EA et H^AC^HA.