From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by margaux.inria.fr, Fri, 27 Aug 93 17:44:49 +0200 Received: by margaux.inria.fr, Fri, 27 Aug 93 17:43:48 +0200 From: Pierre Weis 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) X-Mailer: ELM [version 2.4 PL13] Content-Type: text/plain Sender: weis@margaux [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.