From: Pierre Weis <weis@margaux>
Message-Id: <9308271543.AA29487@margaux.inria.fr>
Subject: Nouveaux Livres
To: caml-list@margaux
Date: Fri, 27 Aug 1993 17:43:47 +0200 (MET DST)
[For ``only english'' speakers:
Two new books about Caml are now available. They are written in french,
and respectively entitled ``Le Langage Caml'' (The Caml programming
language) and ``Manuel de Reference du langage Caml'' (The Caml programming
language reference manual). The first one is in fact a programming
course based on Caml and contains many examples of Caml programs,
some of which are really non-trivial. The second book is an
up-to-date french version of the Caml documentation, with new
examples and new explanations when necessary.]
Deux nouveaux ouvrages sur Caml viennent de parai^tre en franc,ais chez
InterEditions.
Le premier est un livre d'initiation a` Caml intitule' ``Le Langage
Caml'', le second, ``Manuel de Reference du langage Caml'' est un
manuel de re'fe'rence de Caml double' d'un manuel d'utilisation du
syste`me Caml Light. Par rapport a` la documentation actuelle
le ``Manuel de Reference du langage Caml'' est plus complet, plus a`
jour et comprend des exemples explicatifs.
L'initiation propose'e par ``Le Langage Caml'' est fonde'e sur la
programmation. Les traits du langage sont progressivement introduits
par des programmes tre`s simples au de'but (puisqu'on a peu d'outils).
Lorsque les principales constructions du langage sont connues, les
programmes sont progressivement plus ambitieux. Apre`s l'introduction
des modules, il n'y a plus de frein, et l'on termine en beaute' par un
compilateur Pascal simplifie' et une mini-imple'mentation de Caml,
avec synthe'tiseur de types et e'valuateur. Le tout est cependant
assez commente' et explique' pour que la lecture en soit aise'e. Il va
sans dire que le de'butant n'aura aucune difficulte' a` s'initier a`
Caml a` l'aide des premiers chapitres du livre, mais qu'il aura du mal
a` le finir s'il n'a aucune connaissance pre'alable en informatique.
Il s'agit donc de livres particulie`rement utiles pour l'enseignement
de Caml, des de'butants jusqu'au niveau mai^trise (au moins), ainsi
que pour tout ceux que la programmation en Caml inte'ressent. Vous touverez
ci-jointe une bre`ve description du contenu de ces deux ouvrages, qui
sont en vente dans toutes les bonnes librairies aux prix de 195F (Le
langage Caml) et 145F (Le manuel).
Pierre Weis
LE LANGAGE CAML
Pierre Weis et Xavier Leroy
Ce livre permet d'aborder la programmation en Caml de fac,on
aise'e et concre`te. Ve'ritable cours de programmation, il introduit
progressivement les me'canismes du langage et les montre a` l'oeuvre
face aux proble`mes fondamentaux de la programmation.
Les possibilite's graphiques de Caml Light sont e'tudie'es par
l'imple'mentation d'un crayon e'lectronique et le dessin de fractales.
L'analyse syntaxique a` l'aide de flux est utilise'e abondamment, en
particulier pour imple'menter un langage graphique similaire a` Logo.
Des algorithmes classiques comme la compression de donne'es, la
recherche de motif dans les chai^nes de caracte`res ou le tri
sont e'galement imple'mente's en Caml. On e'tudie la logique a` l'aide d'un
programme de de'monstration automatique de formules du premier ordre,
et la structure d'un micro-processeur est mise en e'vidence par
l'imple'mentation d'un simulateur de machine RISC simplifie'e.
Les proble`mes re'pute's difficiles, comme la compilation
(mini-compilateur Pascal) et l'analyse automatique de programmes sont
aborde's (en particulier l'e'valuation et la synthe`se de type pour un
sous-ensemble de Caml). La pre'sentation simple et claire de tous ces
proble`mes non triviaux met cependant le livre a` la porte'e du novice.
Choisis pour leur inte're^t pe'dagogique ou pratique, de tre`s
nombreux exemples sont de'taille's par les auteurs. Ils facilitent une
assimilation rapide du langage et passent en revue un large
e'chantillon de ses possibilite's.
Toutes les personnes inte'resse'es par Caml - et les nouveaux langages
de programmation -, e'tudiants, enseignants, professionnels ou
amateurs, liront avec inte're^t cette de'monstration magistrale de la
puissance et de la simplicite' de ce langage de programmation.
MANUEL DE REFERENCE DU LANGAGE CAML
Xavier Leroy et Pierre Weis
Re'dige' par les imple'menteurs de Caml, cet ouvrage de'crit de manie`re
exhaustive toutes les constructions du langage de programmation Caml et
documente comple`tement le syste`me Caml Light, son compilateur le
plus re'pandu actuellement.
Avant tout destine' aux utilisateurs de'ja` familiers de Caml, auxquels
il deviendra vite indispensable, il constitue un manuel complet et
concis de ce langage qui s'adresse a` tous ceux qui e'crivent des
programmes Caml, qu'ils soient e'tudiants, enseignants, professionnels ou
amateurs.