Le Langage Caml - Leroy Xavier

. .

Résumé :
Caml est un langage de programmation récent qui concilie une très grande expressivité et une remarquable facilité d'emploi. Ce livre permet d'aborder la programmation en Caml de façon aisée et concrète. Véritable cours de programmation, il introduit progressivement les mécanismes du langage et les montre à l'oeuvre face aux problèmes fondamentaux de la programmation. Les problèmes réputés difficiles comme la compilation et l'analyse automatique de programmes sont abordés. Sa présentation simple et claire le met cependant à la portée du novice. Choisis pour leur intérêt pédagogique oui pratique, de très nombreux exemples sont détaillés par les auteurs. Ils facilitent une assimilation rapide du langage et passent en revue un large échantillon de ses possibilités. Toutes les personnes intéressées par Caml - et les nouveaux langages de programmation -, étudiants, enseignants, professionnels ou amateurs, liront avec intérêt cette démonstration magistrale de la puissance et de la simplicité de ce langage de programmation.

Biographie:
Pierre Weis, docteur en informatique, est chargé de recherche à l'Institut national de recherche en informatique et en automatique (INRIA). Xavier Leroy, docteur en informatique, ancien élève de l'Ecole normale supérieure, est actuellement chercheur invité à l'université Stanford (Californie). Les deux auteurs sont les maîtres d'oeuvre de l'implémentation du langage Caml.

Sommaire:
["Premiers pas","Premiers programmes","Récursivité","Fonctionnelles et polymorphisme","Listes","Les structures de données","Le docteur","Graphisme","Syntaxe abstraite, syntaxe concrète","Programmes indépendants et modules","Exemples complets","Démonstration de propositions","Compression de fichiers","Simulation d'un processeur","Mini-Pascal","Recherche de motifs dans un texte","Exécution d'un langage fonctionnel","Un synthétiseur de types","En guise de conclusion"]