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.